This four bedroom, seven baths house at 10150 Gulf Shore Drive in the Vanderbilt Beach neighborhood set a new benchmark for luxury real estate. It closed at $10 million, including $9.5 million for ...