Modern American cars in Cuba. I'm wondering if they could be grey imports from Mexico, as they can't come directly from the USA.