Hi, I was in Cuba last week and amongst the glorious old cars we saw was a Vauxhall sedan. We did see the make a couple of times, but only one photo. It was curious, as the Vauxhall brand was always a GM Europe product, and not a US brand to my knowledge. The models I saw were most certainly never available in the UK. I was wondering if anybody could tell me anything about the Vauxhall name in the USA?