Washing machine died this weekend . . . I think the issue is a pump which is a $125-$150 part. Here's the question . . . should I make the repair . . . or do I take the chance that this may be the first thing to go on a washing machine that is 10 or 12 years old? I guess what I'm asking is folks' opinion: be frugal and make the repair and keep it going . . . or take the risk that I may throw good money at this thing only to have something else crap out down the line? Probably should have mentioned . . . it's a Whirlpool Duet HT washing machine which sold (and newer models comparable to it now sell) for $1,000 or so . . . although my wife would be more inclined to go with a smaller and cheaper Samsung model if we go the new route.