I discovered a little leak right on the seam of my manual gearbox. I took it to the mechanic he thinks it might be a worn out coil. He said that it would drop oil about the size of a quarter coin a day but two days in and there's no sign of oil spillage on my driveway?