It's probably a dumb question but according to Wiki a certain number were produced for export to the USA for some reason I thought they only made 1800 but I see that was for the JDM/Grey Import market. So were in excess of 5000 imported?