Query: Is Redis time well behaved with UTC etc? Can we ask it to use ISO-8601 explicitly?