NBC: Former Disney worker sentenced to 3 years for hacking into park menus, changing allergen information