Ex-Miami Dolphin trades up in Ocean Ridge months after 16-hour ocean survival