I think the ASP kit replaces the water pump pulley as well, but you are correct that the alternator is still spinning faster.

Maybe if I don't sell the car after SEMA this year I will try stacking pullies + fuel and supercooler.