Looks like either a limpet or a sundial snail. Is he cone shaped, does he have a distinct point at the top of the shell? If yes he's the limpet otherwise he's the sundial.
Limpet are sometimes known to eat corals. Most times they just eat algae. I woudln't worry about him unless you see...