You are correct. I got hung up on the 20HP from the initial post. But ut is clear he is talking about the 25HP.
The Blue Max in that HP comes either TEFC or TEBC. If it is TEFC that may be a problem. If it is TEBC there is no problem. Elijah58, you should probably check that.
Keith