I don't think I've ever came across them before, but not even 20 minutes ago I was just checking out the deep mining wikipedia page that also mentions the same snails.