i checked the minis they have in stock, too bad most of them are from 1980 and over!
they are a little higher and bigger than the older ones!
most persons wouldn't notice but i realized that last summer when i compared my neigbors mini (real oldschool rhd british min) and a newer 1980's model
i know it doesn't make a big difference but if i was to buy a mini i would really want the smaller older models!