I'm beginning to think that the alternator pulley should be changed at the same time as the timing belt service is done. You have the belt off, and you are working in the area. For a small extra charge added to the tb kit cost, more peace of mind wouldn't you think?
What do you guru's think...