Has anyone been to Discovery Cove in December? Was it as busy as usual? What sort of weather should we expect?