Yup, vermetid snails. They secrete a tube-like shell that is attached to the live rock. They can be a pest if their larva end up in a coral, because their mucous 'fishing lines' will irritate some coral polyps, but otherwise, they're good about catching any uneaten food.