I got the timing all set up using my tool set. As a neat trick (though somewhat unnecessary) I set up my laptop with a USB webcam so I could monitor the TDC mark on the flywheel, while I rotated the crankshaft from below.
The timing belt was still in really good shape. No sign of shredding at all, in fact it still had the writing visible. Seems like the 100,000 mile belt I bought was a good choice. I replaced the "ribbed" (accessory drive) belt as that was cracking. Pulled out the locks and breathed a sigh of relief as I successfully rotated the engine through by hand. Got it all back together, with the whole job coming in at about 5-6 hours, taking my time. I have realized that if I try to go any faster than that, I end up doing the job twice.
If I had the dealership or someone else do it, it would have probably cost $500-$700, and that would have been after withstanding tons of grumbling and groaning about the veg kit, other mods done to the car, the age of the car, etc. etc.
Really feeling like I haven't got time for this crap now. Here's to finding a new car soon.