12,500 miles and almost exactly a year after I reported the problem, I have not experienced a repeat. I guess I will classify this one as a one-time self-correcting glitch. I never used Valero after that incident and have been using Shell or Chevron ever since.