I’m not too familiar on how well the x64 - ARM conversion works, but in general gaming tends to be more dependent on single core performance and I’d assume that emulating single core functionality with multiple cores doesn’t really work, or at least with performance you’d need.
I’ve been using refurbished thinkpads for at least a decade and in my experience they have pretty decent value for money. I’m using local shop (taitonetti.fi, I don’t think they currently ship outside Finland) which ships their machines mostly with OEM windows, but that’s not a big deal for me.