Yes, pumps are cheap and easy to replace. Pump removal: power off, remove cover, locate pump, (attached to other end of drain pipe).undo 2 wiring connections, 2 hose connections, and pump mounting screws.
Check out www.2ndwave.co.uk/manual.html
dannyboy, October 2008