[jlhamilton]

I think we do have many kinds of ketchup, we just tend to call the fancier kinds BBQ sauce.