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.