穴の大きさは2mm。危険でないといえども、空気のもれを放ったらかしにはできません。なので、親指でしのいだ後の修理はダクトテープとエポキシパテを使ったようです。これも応急処置には変わりませんが、親指よりマシということで。