Wow that's quite a contrast with my Miele -- the pump broke (after 5 years of basically 2x daily use), and apparently it would have cost $600 for the pump, and

Wow that's quite a contrast with my Miele -- the pump broke (after 5 years of basically 2x daily use), and apparently it would have cost $600 for the pump, and $300 for the labour, so they just upsold us a new dishwasher (which only costs $1200 for the entry model, which is what this was), in which case they'd waive the labour charge.