Doubt it. It is of course very illegal so the folks that had the rumor on the street are not going to step up with it. Clearly management got a hold of something given the point by point specific address but could not say where they obtained it.
Also there is the matter of comparing puts five years out to spot prices today as deep in the money. Just a 'mistake' a 'misunderstanding'. Hopefully so but highly unlikely.