beaing in mind the porch is getting torn down next spring/summer, should we paint the ceiling?