I mentioned that recently and someone said it’s actually only used on Windows and Amazon Linux by default so far.
That would be neat! They run time.aws.com (with leap smearing, and IP addresses that have changed a few times) in some regions but it’s not in the Pool (I assume).