Was the notching from rubbing on the lower headset race? Missing bearings?

Since you've already been working with a local builder, call him up and ask him about the fork, and whether the thinks he can replace the steer tube.

That is supposed to be the easiest fame repair.

Are you planning on repainting the whole bike?