In the battle for restaurant reservations, its diners vs bots