i wouldnt expect any pressure ,the gearstick has plenty of windage.......if.I had a busted front seal,I would check the little flat roller thrust wasnt broken.......see if there is a lot of play in the front(assuming its a taper roller).....if the thrust is OK,the rear housing may need a few shims removed to tighten things up....While its apart ,its also worth a look at the needle rollers inside the front gear...........check the front roller race on the mainshaft isnt wrecked,and check the rollers and race in the gear.......the race in the gear can generally be cleaned up ,even if the rollers are US......the mainshaft can be sleeved with a hard INA type race.......needs precision grinding tho.
Finally all back together
New front gearbox seal 10$
New Clutch plate 50$
New throw-out bearing 20$
And twenty dollars of decreasing cans
Good.outcome Driving really good And changes gears nicely.
Used the old 3 finger pressure plate
Grand total of repair 100 bucks