Right so i bought a 2002 mini cooper, 140,000 miles on it and well i was pulling off from a junction and the gearbox shat out all of its oil, it still drives fine and the clutch is good, any ideas?