wow - I hope the turtle was ok? I would suggest speaking to a specialist pet shop/breeder of these turtles as they might have some suggestions in the event of this happening. You might also get some advice from an aquarium that might have experience in clearing up after turtles in general...