Minis occasionally popup around Florida, with pricing "all over the place" - seems largely dependant upon owners' wants other than an average market value. A dealer down the coast has one for $11,900. A little high IMO, but it has the 1275 engine, 4-speed manual, and some performance options.
With that said, I am not a huge fan of the Mini. Probably has to do with the annoying little Mini that BMW reintroduced a few years ago. It does not "feel" representative of a modern BMW, and it largely lost the charm of the original Mini Cooper.