[m21sniper]

Sounds reasonable to me. That's par for the course for any interference engine that has a waterpump driven by the timing belt.

928s are the same setup.

If you take a chance and skimp you could very well end up with a 3500lb paperweight, and one that will cost a HELL of a lot more to fix than $700.00

But i would suggest you find a lexus site and ask for details.