I recently removed a wall heater from the basement wall and there is a 9 inch diameter hole in the wall where the vent pipe went to the outside. What is the best way to repair the hole?