This may sound like a stupid question but... what do you do with dead snail shells... I buy 200 snails 2x year and it seems like several roll over and get eaten by crabs... do you leave the shells or do you pull them all out... I bet I have 200 in the bottom of my tank!