Concern about Algae in Teeth
I am new here, and know little about fish. I do not have my own aquarium, but I've been observing a tank at my college, and I have a concern about their valentinni's sharpnose puffer. The poor little guy has a lot of algae stuck in his teeth. I noticed this almost three weeks ago, and it has not improved. Last week, I did a good chunk of research and found that puffer fish need to have their teeth ground down or they starve. This one looks like it's still eating (I have video) and it is defecating, so something is still getting through I guess, but his teeth do look quite large, and his jaw never seems to close as much as in pictures of healthy ones I've seen. There is coral in the tank which I've seen him nibble algae off of, and I suppose that could hypothetically wear down his teeth, but I'm still concerned. Am I worried over nothing? I tried to attach (poor quality) videos and photos I took today, but it wouldn't let me for some reason.
PS: According to what I read on the internet and the posted settings on our tank, some of the settings are slightly out of this species's comfort range. I assume this is to keep a balance with the other inhabitants of the tank. Should this be a concern?