Got it, thanks for that clarification. I was there in Nov 08, and I'm having a hard time remembering the seal tank specifically. I still recall the large shark tank with the rectangular travelators as one of my least favorite shark exhibits, just way too crowded with large sand tiger sharks.