Id this pest ?

[Dearth]

I just happened across a post in Nano-reef.com tonight about Majano infestation in a 100 gallon tank 4 months earlier and the guy did three things to kill them the big and medium sized rocks he used epoxy on the majano on his smaller rocks he used vinegar in a syringe directly into the majano mouth and lastly used heat he took selected rocks out and used a lighter on affected areas took about a month to eradicate the infestation and as far as he knows his peppermint shrimp and an angelfish are controlling the rest as he hasn't had an outbreak in 3 months