"Since early June, the NFL has locked out its referees, unable to come to an agreement on such issues as salary, retirement benefits, and other issues not exciting enough to merit mention in this humble prose." . . . . .