Should the NFL keep Roman numerals for the Super Bowl?