General Mills thinks people will pay $13 for a box of cereal