Redis port changes

To be in sync with Heroku:   11827 instead of 6379