Erik, it sounds like they messed up the cam/crank alignment when they had the belt off. Therefore, they could be 180 off on the crank (intake stroke) and still align the marks up. The only way to make sure its at TDC on the compression stroke is to do what I explained. Otherwise, it will be 180 out and backfire through the intake when you try to start it, and could cause an explosion in the intake manifold and cause some damage.

88 4R, 350 V8, R150 5 speed Sold <...uot; />
97 4R, stock, daily driver
98 Sienna, kid and dog hauler, wife's ride