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/

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/thinkpad-x13s-(13-inch-snapdragon)/len101t0019 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