Not sure if this belongs here or not but, I have a chance to pick up a 98 sea doo speedster. It is in nice shape but the jet pump is not working. Are they expensive and hard to fix. Do they require any special tools to fix. Or would it be fairly straight forward procedure with a maintenance manual. Any help would be apreiciated.