actually, I went to a conference where Scott Michael gave a lecture..... and he said it was proven that a filefish would eat majano....
personally, I've had good luck with joe's juice killing them permanently.... make sure you turn off your pumps... cover the majano with it and let it sit...