It's been bothering me - I've literally sat and watched both Galapagos giant tortoises and smaller species like the leopard tortoise use shallow pools both in zoos and in the wild. The giant tortoises ought to be able to use the mud wallow, same as the crocodiles and large herbivores.