Good question, however, I have no idea, It is very rare that i eat a hot dog.
They have quite a selection of raw ones for sale. As for their food court, you should call them directly to answer dietary specific questions.
I don't know 100%, but I really doubt it. At $1.50 for hot dogs, it's unlikely.
Thanks! Your answer is awaiting moderation.