Several of us have what sounds like the very same red/black Smart. My wife got mine for me years ago when I first started wishing we could get them here. For the same reason, I have quite a few new and classic Mini toys as well.
...I could also look on Ebay for toy Smart Cars. (I always seem to forget about good old Ebay ) It's good to know that the red and black models are out there as that is the colour we will most likely order.