I just read in a trip report that Cosmic Ray's no longer has the sauteed mushrooms and other extended topping bar offerings. Is this still the case? This is DH's favorite QS but mostly because he can pile on the mushrooms, lol. What other QS (any park) offer the extra toppings?