Seems unlikely that it happened. Any filming would have been mentioned and posted about on social media by audience members attending one of those filmings. Unless they filmed without an audience and loaded in equipment very discreetly without any obvious production trucks outside of the theatre.