Yes, they are nickel-plated brass. Our best guess is that it is 7/16" O.D. x 0.065" wall tubing. My research concluded that C260 alloy (cartridge brass) would be best for bending the loop antenna.
Obviously, no one is crazy enough to cut their antennas, so I had to estimate the thickness of the tubing by the total weight of a complete antenna.
RCA used what they thought was best or just easiest to get at the time. They gave no thought as to whether it would be convenient for YOU ninty years down the road. You always have the liberty to make your own modifications, but if it doesn't work out, you have only yourself to blame.
You will find drawings at the bottom of this page (http://www.thereminworld.com/article.asp?id=27) that should clear things up for you.
I have parts available for a set if anyone is interested. Because of the material and machining costs, they won't be cheap. You'd have to cut, bend, and solder the tubing yourself. You'd also have to have them plated, which isn't cheap either.