Thanks very much, everyone.
I decided against an Aircraft Spruce overhauled unit because numerous reviews of several different types they sell claimed that they failed after a short time. And they do have a new Hartzell ES-4001 (which is what I'm replacing) in stock for only $250 more than the overhauled DOFF10300FR. I called the company that repaired my alternator six years ago about an overhaul, and it would take 2-3 weeks and probably cost around half what a new unit would. But they had a new ES-4001 in stock they could ship immediately, at about the same price as Spruce's. Much as I love doing business with Aircraft Spruce, I chose to go with the smaller company who also provided super service in the past. That company is Aircraft Accessories of Oklahoma.
Thanks again!
Roy