So I have a alligator snapping turtle and I plan on making it a large pond for the winter months in my basement, will his claws scratch the pond liner and rip it if I go that route? Would using cement to make the pond be better? He's only 3 inches so I have some time