Thank you, DR KevinH, for that follow-up bit of good news! A fitting way to end the day.
I do believe we have just dodged a bullet.
I drink mostly diet (or totally unsweetened) drinks as a rule, nowadays, but the occasional REAL Coke or Pepsi ("Throwback") is an incredibly wonderful treat. (I drank Diet Coke for quite a number of years, until they came out with Zero, a godsend for keeping something decently similar to the REAL taste in my mouth.)