New to the forum and a new owner of a lightly-used 2017 Mini Seven. I was wondering if anyone knows just how many of these were imported to the US? They don't seem to surface very often in my nationwide online searches for used F56s...