I saw a table in a factory manual somewhere, showing that engines for the a/c equipped cars did indeed have a water pump pulley which was slightly smaller than the crank pulley. So yes, A/C cars did have an overdriven water pump according to that table.