Indexed headset - repair or replace?

Back to the topic at hand, brinelling. My headset has become brinelled, and I am looking for advice. It's a DA 7400 series, which I believe came with caged bearings earlier which were later replaced with cartridges (haven't taken it apart yet to determine which). To solve this brinelling riddle, the solutions seem to be:

1. Replace cartridge bearings (but can't see from above where exactly to find them). Anyone done this? Would be the preferable route.
   
2. If caged, remove bearings from cage, add one more and lots of grease, then rebuild, being careful they don't fall out and roll down through the gaps in the floorboards.
   
3. Replace entire headset.
   
   

That sound about right?