Grosvenor is the famous last name of the British Dukes of Westminster, a prominent family in that country that goes all the way back to the Battle of Hastings in 1066. Grosvenor House, in London, is a luxury hotel that stands on the former site of the family's palatial townhouse. In Miami, there's a condo tower called Grovenor House. It has nothing to do with the family or the hotel, and no, its name isn't a misspelling. It's a pun. Developed by CMC Group, is in Coconut Grove. Get it?