And thankfully there was plenty of ketchup, because a couple of the burgers were a little more done than people might have preferred.