but the versions I know do state specifically of the crew that "some were playing cards, and some were shooting dice" and that "some were in their bunks"

so it *might* be possible that *if undetected long enough* the holes drilled might let in enough that they couldn't get ahead of it with the pumps....