First hi, new to the community here. And well I just got the little guy two days ago from Petsmart after moving Koi and goldfish to a pond awhile ago and done a bit of research after wanting one of these guys for over a year but curious if small gravel for his tank is fine or if I have to change it to something else. Thanks!