Getting milliseconds on a time stamp

Even more interesting...The top post on this forum is:

Using millis() for timing. A beginners guide

Hmmm...Seems that SOMETHING can get milliseconds. A Yun can get a timestamp from a time server.