Waited all afternoon for first tech, only to out when he arrived that he was out of materials to do job. Was rescheduled for next day with another tech. Waited all afternoon again, but she finally arrived and made short work of the repair.
On the repair, both small spots (one dime sized, on quarter sized) disappeared on the outside, but both were still visible from the inside. The star effect on the bigger one is still plainly visible from the inside. Don't know if this is normal.
If everything is now safe then it's ok.