Dollar dogs

We are bringing a few Egyptian acquaintances to their first ever game tonight. They are Egyptian army members here for a brief visit attending a course. They don’t eat pork or drink alcohol. I read that the “Texas Chili Company” provides these and they are beef hotdogs. Has this been your experience?