Searched for a sub-$12K manual in the area for my daughter. There were GTIs, GLIs, WRXs, MX-5s (Miatas), Mazda 3s, 986s, even a few Corollas, and ended up with this.
Apparently they're called F56 by enthusiasts of the brand.
Roof and stripes are vinyl. Has Sparco wheels and spacers, aftermarket slotted discs, coilovers, strut braces, some carbon fiber interior bits, all of which have no documentation so I don't know if they're any good. It has a Race Chip, some AEM gauges and Racetek(?) shift lights.
The only let down is the all season tires that the PO put in 2023 and still has a lot of tread. 57K miles. Probably needs a major service next.
This'll be my first MINI/BMW.