I went back yesterday, just to make sure it was not a dream.
...best chilidog I ever had. And I discovered the hotdog cooking technique: first, they are grilled, then they are "finished" in the deep fryer. This gives the tube a bit if a "snap", similar to that of a natural casing.