VS- you are right.
And it seems to me, if the story is to be believed, that the police & the company acted with a fair amount of diplomacy.
Had the police not informed the company of the anonymous tip off the crew may have turned up at the gate only to find themselves in a whole lot more
Obviously the company wouldn't have wanted the publicity and so, once informed, went to deal with it themselves.
Question is, who told the media? The whistleblower?
Remember there is always someone watching