Do you know by any chance how they manage their crocodiles when it comes to indoor or outdoor housing? Do some of the crocs live indoors for the whole year, while others don't, or do they all spend the colder months indoors? Really curious about that aspect of the facility.
The pictures you have posted have positively surprised me. I expected this park to be much worse!
However, even during the three winter months, the average daily minimum temperatures in the area are between 7.5 and 9°C. Similar values are found in the distribution area of some species. The Nile crocodile in particular historically occurred in the wild on the other side of the Strait of Gibraltar.
So I guess many species will therefore not necessarily need an indoor enclosure, but may voluntarily prefer it in winter, as many zoo animals do.
