Should You Repair Your Roof or Sell As-Is?