No they didn't. They've changed them when introducing MR93 model. 5th gear ratio before 1993 was 0.803, and after 0.806, so just slight, not even noticable difference. I'm pretty sure that all the 5 speed gearboxes from beginning of the production to 1993 had 0.803 ratio. So you can't actually buy anything "stock" to make 5th gear longer. If you're not planning to change gearbox for some custom stuff (banned should know something about it), than you can only change your final ratio.