Alfred, yes, thank you I was thinking of cutting the thread in stages. I do not think I will have an issue finding any of the cutters here, some of them I probably have in the garage.
I am not sure about the 0.75 or 0.8mm thread. I believe what you are saying that it is originally 0.8mm, but some of us may have the studs replaced and if anybody did it, they did it with standard M5 bolts. I am not sure what is the most common standard - 0.75 or 0.8. Anyhow if the "raw" nuts are produced, anybody can thread them as they need.
Thank you for your kind attention and the tip!