8/28にAmazon に注文し、USBメモリへのリカバリメディア作成ができず、修理に出していたLenovo E130 が修理から帰ってきました。
Ctrlキーが効かなくもなっていたそうで（自分が使っていた限りでは現象認めていないけれども）システムボード交換となりました。保証期間なので無償です。
USBメモリに作ったメディアからのリカバリも検証してもらって、少なくとも、たまたまlenovo にあったシリコンパワー マーベルM01 32GBを使ってのリカバリはできたとの報告をもらいました（このUSBメモリは動作不良が多くネット上の評判はよくないようです）。となると、私の手持ちのUSBメモリとの違いが気になる。USB3.0ではないからかと思って、下記商品を購入し、リカバリメディアを作成しました。
結果は良好で、ごく普通にリカバリができたので、早々にSSDに換装してしまいました。今のところ問題ありません。
BUFFALO USB3.0/2.0用 USBメモリー ブラック 16GB RUF3-K16G-BK