We have just purchased a Beneteau F235, and have found that the head is leaking and not pumping correctly. We have removed the head, and mounting platform, and can't figure out what the make of the head is, or how to find out. Should we just replace the whole thing, or try to find out what it is and order a "service kit"? And since its in the chart closet, there is a fold-down shelf that rests on top of the head...do I have to find a head with the exact same height?Thanks for your help, we are pretty unskilled at repair and replacement, but are learning quickly.