Rod, JD, Julian, Nathan, Thanks all.
Touchastone and Janika's both look like excellent guitar parts resources but neither offer the original or even a close copy. As I'm trying to keep the guitar in original shape I'd like to avoid a pattern part.
It's definitely not a 40tpi thread, JD, but thanks for the thought,. Closest I can get is an old Brass Thread which is 1/8" x 32tpi, but only Tracy's list it and they're out of stock.
Julian, I think your stainless rod solution is the direction I'll have to go in. My skills and equipment aren't up to makingstainless 5BA dome nuts but I've found a source for them. Looking through Google images I note that does indeed seem to be the original design and that it's the older Gibsons 12-strings that have it. Maybe they abandoned it in view of similar failures – who knows?
Grateful for all your help, anyway.
Tom S.