At one point, the Magic Kingdom lots were named after six out of the seven dwarfs. There was never a "DOC" lot because they thought people would confuse it with the ferry docks. Isn't that interesting, though? It would be so cute if they still had the lots! Kids would really love it being named after the dwarfs.