Yea I figured you did. I just wanted to make sure you and I covered both options for them. No use in putting work into it just to find out you didn't see another small issue.
- - - Updated - - -
They are using Repti-bark. I use it for my GTP, its a dry substrate.