Was at both in Nov, IMHO Pinnochio Haus had the best topping bar.
Included was cheese sauce, fried onions, sauerkraut, mushrooms, pickels, raw onions. The topping counter in the far back corner seems to have the least number of patrons.
Only problem with this counter service was the counter service: ordered for three people, had four mistakes with the order.
First ordered double cheeseburgers: got single hamburgers.
Second ordered one brownie, got three (they let us keep the other two)
Third ordered soda: got the wrong type
Four: did not order fries with combo, but ordered Figero Fries as side: got both (theylet us keep both, no additional charge)
All in all would continue to go to Pinnochio Haus over Pecos Bill (I do not like the chocolate pie for dessert, other than that food is just as good)