Interesting that they would use lava lamps for this. Bright side is that they're not nearly as expensive as other sources of randomness (e.g. cosmic ray detector)