What gearbox oil do you recommend? My car is on 58k, and I have no idea if it's the original box or not and whether the oil has been changed or not. Also, before I get under and look, is there a drain plug? And where do you refil it? Thanks...