I was just wandering if anyone is familiar with this manufacturer, http://www.tornadosportscars.com. I was going over the prices and they are displayed in English pounds....as I converted them they came out to be just under 10,000 USD. Is this right? Do they sell these cars for $10,000, and can...