Redis takes seconds, not milliseconds. Oops.