Do you think there will be considerable performance difference when using Redis instead of a two column MySQL table for this purpose? What is the utility of using Redis there?