I've never seen any engine on pump gas that needed a main jet larger than 4.0x the vent. Race gas has less density so they go over 4.0, but not street gas.
In this case I bet the 125 main will be good. Test by installing some 120s, if the power drops off big time, the 125s are the way to go. How is it above 3500 rpm with the 125s?