As a couple of us have mentioned, 20-inch Pirellis would be unusual as original equipment on a Lucid Air. I checked Lucid’s tire listings and found 19-inch Pirelli all-seasons and 20-inch Michelins, but no factory 20-inch Pirelli option for the regular Air. Is it possible the tires were replaced...