Starting redis manually isn't that much harder though:

    brew install redis
    redis-server

I personally feel that people reach for Docker too quickly. It's worthwhile to learn how things actually work so that you know what to do when Docker eventually fails you.