Is Heinz the only acceptable type of ketchup or are generic brands okay?