Yeah, you're right; the empeg guys should cryptographically hash the time and use _that_ as the seed. I would say "Hah! Proof that the empeg random shuffle isn't as random as it should be!", but nowhere has anyone stated that they _don't_ hash the time. Since the empeg has more than it's fair share of 'little details that make all the difference' I wouldn't like to bet against it!