He should be fine maybe he feels like hiding many bettas like their privacy so maybe het some plants and some rocks for them and i dont think he would be able to put the gravel is his rock if ur still concerned maybe get some sand which they sell at many local shops it's just white pure sand...