Hi everyone! So recently I saw a video of someone's enclosure where there was a pond in the set up. I was wondering how one might go about doing that? Like, what kind of filter do I use, and should I use gravel or a pool liner? (I feed him outside of the tank so impaction won't be a problem.) thanks