That would be my guess. Sounds like they're already working on it, so I'd imagine it'd be ready to go into the water once the resort reopens.