I’m probably going to buy Thinkpad (I’ve been thinking this as the only option before I open this thread, actually).

I was talking about Thinkpad X13 Gen 4, but yours seems to be better in terms of cost. I don’t really like numerical pads, though.