Luke displays results like this:
Last search time: 67999 us
What is 'us'? How to convert that to ms?
This actually means μs, or microseconds (which, unfortunately, isn't ASCII, so the Greek letter mu is replaced by a similar-looking u). To get ms, divide by 1000.