I'm around now. It's good to know that they're fully redis, but to keep the distro post simple, I'll keep them all marked no-redis. Would you like more than 1 copy back of thundy? Easiest cloning numbers are 1 copy or 5 copies, so either number is easily doable.