Hello, as you all probably know, I have a few mystery snails. Well, I have noticed on my gold mystery snail, that he has dented/cracked his shell because he jumps and dives off the side of the aquarium wall. I have sand substrate, so the only thing I can think of that he hurts his shell on is the little cave I have for my fish. Here are some photos. Should I be worried that he is in pain or is sick? I dosed half dose of melafix/primafix to hopefully help his shell maybe heal? Here are some photos that I took. I have noticed lately that he has been chasing my lady snails and mating A LOT with them, so I don't think he's feeling bad. He eats normally and chases the other snails, and he LOVES to dive off the walls. Any suggestions, or do you think he will be fine?

