Lettuce is going to add Micrometer tracing into the driver directly, so we can just forward to their integration. See https://github.com/lettuce-io/lettuce-core/issues/2391