... many ounces of ketchup are left after ian has eaten 4 burgers