FWIW, you can get an OEM timing belt and water pump kit for under $500 and far less than that for non-OEM. Mine was changed at a Lexus dealer with OEM parts for $900 (including labor) just last year.
Good to know! Perhaps I'm including other parts that were done as "while I'm in here..." work, it's been a good 4 years since I've done it.