While the shells are cracked, I don't see any of the snail's soft body inside, so I don't think I will have to patch the shells.
I've added some cuttlefish bone to the tank, so hopefully that will prevent any further damage to the shells. I've read that once damage has been done to the shell...