Yes, I have.
We have done is to use Google Time Servers already configured to deal with this.
While I asked is to ascertain whether there is anything beyond this that we need to do.
I might be missing something and just want to cover all the bases.