They do exist

We have seen people talk on forums about the R53 JCW kit which had a red supercharger pulley, but we have never ever seen one untill now. It also does work out to be a reduction of 14%, the owner has had the car from new and had the JCW kit fitted at a dealer a year or so later.