Should we root for NFL labor unrest?