I see enough weird behavior out of the Dells at work and their USB-C docks so I can believe it. Not detecting the dock, not charging from the dock, ports not working on the dock, randomly insisting the dock isn’t compatible. Even the machines that end up as folding desktops that never get disconnected from their dock end up doing this stuff. I really had no use for a laptop anyway so I finally convinced them to give me a desktop.

Generally, Google shows the appropriate name based upon where you are located. So for everyone outside of 'murica, it’s still the Gulf of Mexico.