>>425
中華製ThinkPadでよければこんな製品が。
https://www3.lenovo.com/jp/ja/jpad/notebooks/thinkpad/l-series/Thinkpad-L570/p/20J8CTO1WWJAJP3

カスタマイズでいろいろ変更できる。
HDMI端子はついてないけど、Mini DisplayPortがついているので変換ケーブル対応を別途購入して対応と。