I just purchased a 1987 Mini from someone who imported it to the US from Italy a few years ago. (my wife let me buy it for my birthday, actually)
It's in great shape and drives great.
So excited to finally own a classic Mini. I previously had a 2004 JCW MINI that I loved.