I suggest you call your appliance repair guy and ask about them. The major brands have well earned reputations and often MUCH better parts channels.
In the end, $4,000 difference is peanuts. Even if you only want to get 5 years out of it, after the tax benefit the difference is what $2,500 -...