@MikeConvertino @teresa I would not call the cops. No need to escalate a "civil nuisance" into something much worse or to pile on someone in a difficult situation.