Tampa bay saltwater sells what they call "Florida gulf mantis shrimps" in 3-4 colors for $9. (they didn't say what colors) My questions are, What kind of mantis are they? Has anyone had/have one? What colors are they, & how big do they get? I want to get another Mantis, but I want a brightly colored smasher with a colorfull personality. I got a friend of mine and his girlfriend hooked on mantis shrimps & now they want one also. I'm hoping we can pool our orders together to save some $$$ on shipping. Any info would be more than helpfull:beer: THANKS!