I'm guessing that includes (dealership at $100/hr.) labor...that's about how much it set me back when mine gave out early this year...the actual pump goes for around $250.

__________________
2009 ML350 (106K) - Family vehicle
2001 CLK430 Cabriolet (80K) - Wife's car
2005 BMW 645CI (138K) - My daily driver
2016 Mustang (32K) - Daughter's car