Was there auto-tune on Billy JOel’s voice while he sang the national anthem? It sounded a bit processed with that characteristic digital flavor.