If a MINI has JCW badges on it, does that mean it has the 211hp or are there other kits that can be bought from MINI that come with the badges? Just wondering cos a friend bought a 57 plate cooper s with JCW badging on it, but I was looking on the cherised MINI site and it has no mention of being a JCW.