I'm looking at a 2005 mini and wondering what I'm looking at. It has S decals on the side vents but not in the back. It has a John Cooper works badge on the stick shift but it's not a 6 Speed just a 5 speed standard. Is this a unit that has been JCW-upgraded from a regular 5 speed at a dealership?