Decided to do as you suggested, and wait until I get a second ding. Hopefully it never happens, but this one is subtle enough that I can barely manage to forget about it, on days when my OCD isn’t flaring.
Question: would the DIY pop-a-dent thingy work on a panel that has ppf, or would it just pull the ppf up and leave the dent in place?
It will pull the PPF. That's what my dent guy says happens when he does a glue pull on PPF.