Does anyone know if there are any GT3 RS 4.0 for sale in the US at the moment? If yes, please post information.