Fix use of Redis module
Improve redis run() method
Add TBD comment
Simplify timestamp code