I'd buy either from a fellow TDR member that has been here a while or new before Ebay.
I agree, if you need to replace, may as well upgrade if you can afford it.
How dead is dead. My be able to have it rebuilt (new bearing and seal kit) cheaper yet.
More importantly, what caused it to die?