You are welcome to come and see it. And I have the docs for the JCW tuning kit. Not sure whether it was done in the factory, but presume not as I don’t believe the early ones were a factory fit extra.
I have checked the paper work and the tuning kit installation date is the day before the car was first registered and stamped by the Mini/ BMW dealership that sold the car