Called a few repair places, but they wouldn't give me a ball park figure for taking the machine apart to replace the seal. The want to charge $50 to come out and see where it goes from there. Given the amount of work to take apart the machine, seems to me it might cost a couple of hundred dollars. (Does this seem right?) With a replacement washer costing about $500, it wouldn't be worth the cost to repair it, even though the rest of the machine looks OK.