 The boat was still on board, but they were, as I understand it, set on rocks. And so they were stuck up near the shoreline. He couldn't get himself free. So we launched our helicopter from Traverse City. They got on scene, and they were able to hoist the Mariner up into the aircraft.