Never knew the Kleemann had it's own integrated inter-cooler pump driven by the pulley.
Would definitely make pulley swaps a bit more of a chore.