Should You Repair a 7-Year-Old Washing Machine?