I meant to say there is not a set screw. I think the converter and Prevost pumps only differ in their water fittings and voltage. I too should have used a puller, but was able to use a mallet without damaging the shaft. Even the converter one that is commonly used in school buses is expensive.

I'm curious, how much coolant came out when you removed the pump?