Any bad news on these pumps for full time cruising boat use?

Any place cheaper than JC Whitney = $151 smaller, $169 larger ??

http://www.jcwhitney.com/webapp/wcs/...&storeId=10101