hopefully the hole-punchers and the miners were in operation in separate facilities.