I would dispute that. IME it's not the actual rolling of dice that eats up fun-time. It's more the habits we've all picked up over years of playing these games, combined with excessive amounts of rule lookups (which are distinct from the actual rolling of the dice, mind you). Die-rolling is a...