If the gravel is sharp, they can scratch themselves but they rarely do. To check the gravel, grab a few bits and rub them across your forearm. If the gravel scratches you, it can scratch the fish.Thanks for that. I read online that they can end up cutting themselves on the gravel. Good to know that it's not extremely urgent.
Just make sure you wash your arm with soapy water after to reduce the chance of infection.