Ray,

I looked at a LEXUS dealership near us and priced the pump, it ran $174 alone. It didn’t specify if it came with the gasket. Belts ran around 30. Hopefully the shop who quoted you the job is using your pulley. I priced pumps at Rock Auto and they were very inexpensive. Auto Zone showed two different brands the most expensive one being $129.00. One thing to consider having done while to car is torn down is to replace the thermostat with a new one since the fluids will be drained.

Maybe call around and get a couple more quotes?

How owe are you doing?

Blessings, John