Grok for time with UUUU

I am reading this in the grok patterns pages but I dont see a syntax for the time format.
# datestamp is YYYY/MM/DD-HH:MM:SS.UUUU (or something like it)

Is there a grok pattern for this time format?

10:02:19.9830

%{TIME} will match that.

Perfect, thank you @Badger