Mollusc ID help

I was poking around in some “tide pools” in Florida (or what passes for tide pools in Boca Raton, anyway) and there were a bunch of interesting… sea snails? Some sort of shellfish. They were olive green, but with bright orange spikes, about an inch or two long. I can’t find anything like them on the “shellfish of Florida”-type sites.

best photo I could manage

I know it’s not a lot to go on, but does anyone have an idea where to start?

Looks like a conch to me. Florida fighting conch? https://www.iloveshelling.com/blog/florida-fighting-conch-strombus-alatus/