Welcome to the Colorado AR-15 Shooters Club Discussion Forums.
Oh I'd definitely take the risk myself, but if he's concerned about getting a ticket, he should go above and beyond.
Forum Rules