I was at a bar not that long ago, and ordered some hot pretzels. With the pretzels was a side of cheese. It wasn't Velveeta or cheddar, but it was really good. maybe it was cheddar, i don't remember.. Does anybody have a recipe for a cheese dipping sauce for pretzels?