I've had some of these snails in my tank for a while without me ever introducing them. Probably hitchhiked on a coral or stone. But now i've bought a new coral and a whole bunch of these came off. Are they baby banded trochus snails? Or some kind of posers? Size is about 5mm (1/5" ish).