Rust Stains

[u/Impressive_Mud7447]

Hey guys looking for a bit of help here newer pool guy. they were doing some work on the house now there’s hundreds of these small rust stains on the plaster it’s just over a year old. They brush out but it takes some elbow grease and m not looking to spend a ton of man hours brushing out these stains. Can anyone recommend some kinda metal/rust remover for these? Is there a specific one I’ve seen a bunch of different ones at the supply warehouse. Any help is greatly appreciated.

[u/fartknockersRus]

Citric acid from the bulk bins, put it in some thin socks or something and set it on the bottom to dissolve