After Hurricane Ian collapsed my pool enclosure into my pool, I have a few small spots on the bottom of the pool caused by rust. They're not serious, but they annoy me. My pool guy says he can remove them by pouring HCl onto them through a pipe. Not sure how he would do that in the deep end! Any other tricks people have used to address this?