mystery manual tranny oil leak

Just wanted to make other owners aware of this, my Tacoma developed a minor oil leak after a clutch replacement it kept comming from the top of the tranny and running down. Discovered that the four bolts on the shift selector housing were very loose after removing the rubber boot from inside the cab. You will need a 12 millimeter socket 1/4 drive and a 1/4 drive universal joint with an extension access these. I used a torque wrench set at 13 ft pounds. My leak is solved now. I had took it back to the shop that did the clutch they tried to tell me it was the gasket in the middle of the tranny 400 dollars to do it they said wasn't that at all.