Glass-Walled Smart Home in Islamorada Lists for $13 Million—Mere Minutes From Dave Portnoy’s Record-Breaking Mansion