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 (84K) - Family vehicle
2001 CLK430 Cabriolet (71K) - Wife's car
2005 BMW 645CI (124K) - My daily driver
2012 Mustang V6 (60K) - Daughter's car