Was Bruno Mars the right choice for the Super Bowl?