As far as I know only a couple of people used the Cressi Sub Killer.
I used one for quite a while as it was quite small as diving knives go, until I lost it, no idea where though. Although it may have accompanied my lost helmet found in the same area.