I would definitely let my pdoc know. He'd be furious, not at me, but at the idiot who did this.