401 gearbox problems

My 401 is jumping out of third gear.  The mechanic is having trouble fixing it.  Any advice? (…apart from a different mechanic…)