OT: What should the NFL do, if anything?