Should You Buy a House With a Roof Defect?