Las Vegas slot machines versus electronic voting machines