As I suspected, TDC for the engine is 90 degrees from the timing mark on the crankshaft (45 degrees on the cams, which are marked by an arrow). I followed the steps outlined in my above post, and the car works perfectly now.
The driver side cams weren't too tough to line up, but I had to use two 10mm allen wrenches. Once those two were done, everything else fell right into place. Whew!