Oh another question, since he’s in shed should i pet a rock or something for him to rub on in his terrarium? He has a large water dish that has rocky sides, but i didn’t know if that was enough? Thanks!