So brand new timing belt too? Then the costs that I can think of right away are lower, but again, I'd be conservative and budget $2k for repairs. That's just me though.

Old car. Tough to get around that.