Should we add milliseconds to the timing? Most single level categories are as low as they can be, but with milliseconds there won't be as many tied world records.