木製の鍋蓋直径24cmの鍋蓋がAmazonから届いた。鍋に乗せてみたらサイズはギリギリだった。鍋に付属してきた鍋蓋の直径は23cmだった。少し削らなければならない。電動のディスクグラインダーを使えば短時間で終わる。騒音が近所迷惑になるので、120番の布ヤスリを使って削った。何とか使えそうになったので使ってみた。水分を吸収すると少し大きくなる。再度削る。