Redis calls are very fast so clock skew is unlikely to be an issue, but
we should still use the better method of measuring time.