At that mileage you may face additional wear and tear bills in the gearbox. Mike measures everything anyway and will report anything out of or close to tolerance with a recommendation to change or do nothing.
You are into a fairly big bill - but you know that already right? And as you say, you want it sorted - so Mike is your man. He does more gearbox strip and rebuilds than any other Indy as far as I know. When I pop around and have a coffee and chat, he usually has a gearbox in for strip and rebuild from either a private customer or a trade gearbox rebuild on behalf of another specialist.