BTW, Amazon Customer Service offered me 20% discount on the item with the damaged box. Since it cost $100 that comes to a $20 refund for the hole. I took it as the item appears to be undamaged. They said that if I determine later that it was damaged, they would replace it.