No they don't. Under Apache 2.0 they only have to provide source code changes if they distribute the software. If they are providing it as a service with modifications, they are allowed to do that without redistribution.
However, I don't think anyone has suggested that they are doing that -- only that they are offering a service for money that uses Redis (and the affected modules).
