Is the pump in the tank on that model? I have heard from other makes when they go bad it is quite a pricey endeavor to get it repaired.