Anyone here know much about Washinhg Machine repairs and parts?

The missus has a Samsung SW95ASP Washing Machine, and smoke came out of the unit on drain cycle, i diagnosed a bloked/seized/stuffed drain pump motor over the phone... Unit still washes fine, just will not pump out water.

I have found a couple of parts online, but the part i found on eBay, stops just short of her Model No:


or


Found another online place that seems to match the model number, but the part is 3 times more expensive



Anyone know if the pump in the first link will fit?
Prick of a washing machine anyway, i'd be happy to just buy a new one, but might as well fix this one, if even just to sell it.

Thanks