Wait until after your match. The overtravel adjustment isn't going to make THAT MUCH DIFFERENCE in your shooting results. (I have overtravel adjustments on my 85 Combat and my 75B SA, and I honestly can't see that either trigger is "better" for match use than the stock trigger on my pre-B 75 or a Custom Boland AT84s, neither of which have adjustable triggers.)
Then, after the match, consider having Mike do a trigger job when he does the rest of the work. (You're going to have to pay to ship it, anyway, so you might as well go "whole hog" and do it right.)
The other alternative is to ask around and find a 'smith in your local area. Mine does simple trigger jobs (not full action jobs) for under $50, and it noticeably improves the trigger.
When he has the trigger out, he can get the overtravel screw loosened up, take the sharp edge off the trigger with a Dremel, and reset the overtravel.