After combing through the redis driver cache file (/system/libraries/Cache/drivers/Cache_redis.php), it appears that an option doesn't exist to allow a user to specify a redis db index.
This is important in the event we use the same redis database for both a development and staging server.
Is this possible to accomplish another way? Or is anyone aware of plans to add this as an option?