@abcdw Nice! Is this a private auction or a reseller? I've been trying to get a X13s (preferably with ISO-UK or ISO-DE) for a long time but it's just ridiciously hard to get for a fair price.
Most shops still sell them for more than 1k EUR/USD - in this case getting the brandnew T14s G6 with the Snapdragon X1 Elite makes more sense.
I've just had a chat with @mart_w last week who is running #NixOS on his X13s. Some things are still somewhat broken, but it has become his daily driver.