Hacker News Reader

After doing a bit of research I think you're right. For some reason I got them confused.

They're one of two shrimp associated with the tapping noise, so it's an easy mistake.

You usually have to special-order mantis shrimp. It's easy to accidentally get a pistol shrimp when you asked for a peppermint; they look similar.