The answer (as always) turned out to be very simple. The Redis instance was initially created with the default 'OSSClustered' clustering policy. Changing that to 'EnterpriseCluster' fixed the issue. We now have one endpoint (at port 10000) and every request is directed to the correct cluster node automatically.