Hi all just want to pick a few Brains please.Just changed the oil in the main Gearbox on my series 3 and came across a broken Detent spring in my tray.The gearbox is working fine no noise,grinding or jumping out of gear and no problem selecting all the gears.Do you think it could be an old one that somehow got left in or if one has broke i thought i would be experiencing some sort of problem,with the new oil it sounds lovely as well.Any thoughts please? John.