Does anyone know what Hot Dogs they are serving the Fla. parks. They seem rather large, and I think they are all beef, not sure though, any thoughts? Everytime we are there we try to figure it out, maybe I’ll ask next time.