So I pulled the #1 spark plug and rotated the engine with a wrench until it was at TDC. All the marks on the three pulleys are equal to each other, but they seem to be off to me. Like, if you're looking at the little degree gauge on the main pulley (where it has the timing marks), I would say the notch on that pulley is at around 55 degrees (to the left of center)....is that right?
And I didn't replace the belt, the PO did, and gave a receipt.
Edit: Sorry, I totally misjudged how old the belt is...it's got about 6000 miles on it (that is, if the PO was honest in that he replaced it right before he sold it to me). It looks new and is in good shape at least.