Nope, but i did own one from the last batch for a brief period, one or two hours then returned it and got my money back from the seller as it was overheating, Cooper Sport in blue. It was up for £8800 but i paid £6600 on the day, of course if you checkout the mini cooper classic boss.....Richard Williams his are just crazy prices these days.
It should be "Large and little" Tbh, if you park the latest iteration of the Mini next to the first gen modern Mini, the size difference isn't far off the one shown in the pic.
