but saw reference to it on Facebook. When I asked what it was and an old Marine Corps pal set me straight. He said it was just ketchup and hot sauce mixed together. I’ve mixed up ketchup and hot sauce plenty of times and I even bought a bottle of Heinz ketchup with Tabasco. Upon...