You may be correct ? Not sure . Will need to look when the sun comes up . Will try to take a photo .

I have noticed that I can buy the kit with belt , pulley and tensioner . Or I can buy the same kit with the water pump also .

Do the math & the water pump adds $ 32.90 for the Gates brand at RockAuto.com . The Gates water pump , buy itself is $ 37.89 . So , not a huge savings . ( These numbers do not include freight . )

God bless
Wyr