[Texas_Rig]

Probably either the switch or the pump. Either should be pretty easy fix. The pumps usually just screw in and out. It could be as simple as the switch isn't hooked up especially if it's an older boat and he's not the original owner.