Vacumn pump replacement

Hi all. 2006 with 35000 miles, one owner maintained by the book by the dealer. Car developed an transmission pan gasket leak, and while at the dealer it was notice that the vacumn pump was leaking fluid. Service writer claims that this should be addressed as it could affect braking and transmission performance. NOTE: In the state I am a resident of (WASHINGTON) the following applies: The consumer MUST request that the repair facility retain the replaced parts to show the consumer AT THE TIME OF THE REPAIR AUTHORIZATION. At the end of the day,the old pump was not available to look at. According to the shop foreman, the pump failure is an o-ring seal and not mechanical in nature. The pump is lubricated by engine oil. Since the pump is buried in the car, labor is unreal. Pump is around $250,labor is around $1400. Since the car has been returned, the MPG has been substantially less (Vacumn leak somewhere). Anyone else experienced this pump failure??