No I didn't, because I expected SST to be 30 or 40 seconds later. But it turns out that today SST = CDT within a second or so. So I have not verified the correspondence between Ding and OLCI after all. They both are on time today.
Interesting. I've noticed that SST in the range from about 10 seconds to 22 seconds past time.gov, and I was hoping to pin it down. Seems odd that it might vary.