What about the second one here? https://www.lenovo.com/it/it/laptops/thinkpad/thinkpad-x1/X1-Carbon-Gen-8-/p/22TP2X1X1C8
I can get it for 1600 euros with students discount. I know that it runs Intel, but it seems fine.
I'm awaiting for your view on this, thanks