Before the Magic Kingdom renamed their parking lots after Heroes and Villians, the original parking lot was named after the Seven Dwarfs from Snow White. There was only one dwarf that Disney didn’t name a Magic Kingdom parking lot after.
First thoughts would be Grumpy since the Magic Kingdom is known as “The Happiest Place on Earth”, however, you would be incorrect. The real answer is that Doc is the only dwarf that Disney didn’t name a Magic Kingdom parking lot after. The reason behind this was to avoid confusion with the ferry dock.