I had a pool guy out that told me he would do the repair the same way you explained it.

The stains don't bother me but I wasn't sure if this was something that had to be repaired right away or I could let it go for awhile and see if other stains develop.