For what it's worth, Dave, I think repair is a good choice. The hub is already built into your wheel, it has given stellar service, and for the cost of repair you couldn't replace it directly. Should be like new again after service. Smart choice, I think!
Best,
Dan.