Thanks! I hadn't checked: I didn't realize I could get an OEM timing belt on Ebay. I see you can also get parts bundles for timing belt replacement, tho those seem to have aftermarket belts.
The thing that varies the most in the parts bundles seems to be the idler pulleys. Do people here recommend changing those too? One kit I saw just had one of them, claiming that one was most likely to fail...