For others similarly interested, it turns out "X13s" is not "multiple X13 models" but rather "X13s" is the model number: https://www.lenovo.com/us/en/p/laptops/thinkpad/thinkpadx/th... and is currently listed at USD$995 for "Gen 1" and all the way up to USD$1570 for the high end