I found this small orange snail in my tank this morning. He would have originated from some live rock that was acquired through gulf reef live rock. Thanks as always for your help!
If the little guy resurfaces in the mantis tank I will grab him for a flip over to make a final ID. I will post if the opportunity presents itself. Of course he may become Mantis bait although my Mantis has never touched the other snails in the tank.