This may or not be the Devil's hole, but all the pools had names to suit their character, including a 'rainbow' pool because of all the mineral colours. I remember one of them was called the Devil's something... so that'll do.