>X240以上はBIOSにプロダクトキーが埋め込まれているんじゃない？
そうなんですね！
ということは、（X240以上は）windows10だけ使えれば良いという場合には、
OS無しを落札しても無問題ということで良いのでしょうか？