. . . "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." .