Scratching on the substrate can be a sign of parasites, but does not always guarantee that they have parasites. While not a necessarily a good sign, "once in a while" may not be a problem.
Are there any red lesions on the shark? Visible bugs/critters hanging from it? How often does the shark do this?