Smaller water pump pulley

I agree with you. I do have a lot of paperwork for the car, but none states what water pump was purchased. I am going to check the timing, and then also pull the pump at some point.