Sump Pump Model for Island Packet 35 (1993)?

Hi all. My sump pump on my IP35 (#161, 1993) has stopped pumping. Probably needs a new diaphram, but I may just replace the whole pump.
I can't find the brand and model. There is a number on the "IN<-->OUT" tab that reads "16148-0000".
Could someone help identify this pump for me and/or suggest a replacement? 
Thanks in advance!!
Craig

 

Just answered my own question...
It's a Jabsco. The replacement appears to be "Jabsco 37202-0000 12V Light Duty Bilge Pump".
Thanks all.
(Any comments still welcome of course!)
Craig