Whether you find one or not, I would also do an army of peppermints and as much manual removal as possible (laser, kalk paste, or lemon juice/vinegar) to get the population down to a point that the file fish can actually do some damage.
Whether you find one or not, I would also do an army of peppermints and as much manual removal as possible (laser, kalk paste, or lemon juice/vinegar) to get the population down to a point that the file fish can actually do some damage.