В банной печке появилась дыра в топке — варить или выкидывать?

В банной печке появилась дыра в топке — варить или выкидывать? Вы б что сделали?