Thanks for the reply, c4c5specialist.
I put one can a couple of weeks ago, so I'll wait the recommended 6 months and try again.
So far there have been no codes. The detonation is mild and noticeable only under light throttle at this point. Otherwise, the car appears to be running normally. It's possible I may be misidentifying a sound, of course, but I don't think so.
I've been using premium Shell, Amoco and Mobil indiscriminately, fwiw.