If thats all they did, there is no reason to touch the timing belt. Or even remove the timing cover. First see if there is any slack in the timing belt. Remove the cam gears cover and pull the mpi fuse, have someone turn the car over and watch to see if there is any play in the belt while it cranks, if there is you will see it. If not, check timing, and list your mods.