The hot dog guy comes to our cruise in every Tuesday, he’s very busy. I always get the Chicago dog meal, with chips and a pop for $5, but I always give him more than that. Them Chicago dogs are worth $5 just themselves, I love those little torpedo peppers. Seems that he sells a lot of the “gourmet” regional dogs, more so than just plain ones, and he has sauerkraut, and all manner of other fixings too. He doesn’t have a cool rig like yours tho, but he sure needs one. We all do as a matter of fact!