Almost done with the redis implementation