Since they were doing work on the timing belt, I would say that it is very likely to be the timing. The belt is probably off a tooth or it is improperly tensioned. It is pretty easy to check yourself.