Was the Game Boy Color really called that in the UK?

Both the official Nintendo UK page at https://www.nintendo.co.uk/Corporate/Nintendo-History/Game-Boy-Color/Game-Boy-Color-627137.html and what seems to be the official Nintendo-supplied Amazon UK shop page for the device at https://www.amazon.co.uk/Nintendo-GameBoy-Color-Purple-Console/dp/B00000J97G refer to it using the American English Color. So it appears that the product is referred to as the Game Boy Color everywhere in the English speaking world.

This makes sense: the word "Color" in the name isn't used in the context of the dictionary word that means "the shade of visible light an object is reflecting", but rather as an integral part of the brand name used to differentiate it from the original Game Boy released before that. And while it does happen that a product is rebranded for different markets, this generally only happens in case there is a trademark dispute in a specific region or if a name has an unfortunate meaning that can negatively impact sales.