I think if that particular transition hadn’t have happened with HBJ coming in and buying the park and then ultimately closing it, I don’t think that was their choice in the very beginning. I think they just reached that business decision as it went on, Marineland would’ve closed. It would’ve gone away. It absolutely would’ve. And then the animals would’ve been separated and moved off to different places. And most of them went together, and then the team went together.