あ！
すみません、多分私の勘違いで、これだと思います。
20.5センチと書いてあったので、動画の画像から、私のラジオ（一応電池管）の大きさと比べると直径は、20センチぐらいでした。
これですね。
厚さが５ｍｍ程度は有るので、カッターで切ってもなかなか切れません。
ジグソーで切ると、切れ目がジグソーで、みっともないし。けっこう苦労しましたよ。
ただ、結構な高価な金額ですね。
会社は、お金を払って処分するので、工場に出向いた際、ちょうだい！と言えば
いくらでも、持って行ってください！って、言われていたのですが。