Recently a friend of a friend mentioned that on her trip to FL a couple of months ago (early April) she was very very disappointed with SeaWorld. She felt the change in ownership had really allowed the quality to decline. Has anyone else been since April or even this year who can tell me if her expectations are too high or if it's worth skipping while we are there in December? I will likely revisit this topic again closer to time, but SeaWorld was something I felt both my older daughter (12) and my husband would really enjoy. Thoughts??