On a recent open water trip for my dive master i was poking around devils den and noticed quite a few serious cave entrances and due to the strict nature of the diving there i was wondering if there was any documented exploration of this system ?