Occasionally my gearbox jumps out of gear. It only happens in 4th gear and seems to happen randomly. Has anyone else experienced this? My car is a 2012 with 45000 miles. A repair would probably be costly and as the car is fairly old would I be better off trading it in? Would a gearbox oil change help?