A friend was looking and in the end decided not to buy a Thinkpad as both his current Thinkpads mis-order keys when typed quickly and it seems unlikely that it's fixed. (And to be honest, they don't deserve the money with such a bad bug).

See https://www.reddit.com/r/thinkpad/comments/ekin47/the_x1_ext... for the details.