Does anyone have a recipe for the sauce used at the Red Barn Restaurant for their hot dogs on Texas toast?