Sodium carbonate is washing soda, which is a fairly aggressive alkali (it's the main ingredient in dishwasher powders); I wonder if he didn't mean sodium bicarbonate. That's what I use as a rust...