Thanks! I'd passed by the enclosure a few times that day but not seen them -- however things definitely picked up once it got quieter in that area mid-afternoon: two individuals (not sure how many they have in total) were then reasonably visible, mainly sleeping on the surface, for quite a while.
It was also quite a dull afternoon (weatherwise, not photographically!), but I'm not sure if that had any bearing on their activity. It was my first visit since 1984, so I don't really have anything to compare it with!