"For reasons unclear and probably even unnecessary, there is a concerted push all of a sudden by Hall of Fame shortstop Ozzie Smith and the producers of the official beer of Major League Baseball to designate Opening Day a national holiday." . . . .