Fingers x’d 🤞
The dent will raise as the water dries – sometimes it takes a few goes…
I’m sure whatever is left will easily sand out or come out when you round over the end.