What should you do if something punctured your roof?