I just read that there are aftermarket pulley upgrades for the Mini Cooper s. The pulley allows the sc to boost an extra 4 psi which helps the Mini make 20 more hp. There is also a chip that comes with the upgrade to optimize the a/f ratio for the increased boost. My question is this, if the Mini and RedLine have the same eaton supercharger, then could these aftermarket pulleys be used on a RedLine?