It’s 2,000 feet altitude. I know you can find a conversion that will make his 3:34.99 maybe a 3:32.9 or whatever. I would be shocked if Grant is affected that much given the frequency he trains at altitude. Nice bounce back effort, though!
You are correct, if you live and/or train at altitude you don't get the benefit of the conversion.
Speaking as someone who ran for an NCAA program at altitude, has lived at altitude for years, and races at both altitude and sea level, you're wrong. Objectively, running at 2000ft is harder than running at sea level. End of story. Conversions are dumb and annoying and a constant point of arguing, so I'm not going to say it's worth exactly 1.233456435643 seconds, but it is more difficult.