Within the next few years, the aquarium's dolphins will move to a seaside sanctuary. This will leave a pretty sizeable space left to be repurposed. What should be done with this? Should the entire area be gutted and rebuilt or simply have the tank redone to suit new animals? What animals could go in that space?