I will probably replace the washer because I don't want to swap the gasket

[davester]

Paying $1,000+ to avoid a $150 repair seems ridiculous to me, not to mention being environmentally unsound. Even if you had a technician come out to repair it I can't see how it could cost more than about $150 labor charge at the outside.