Buying a House With a Roof Defect: What Should You Do Next?