We get them at that cart every trip. I believe they stop serving just before Spectromagic starts-don't know what time they start. You didn't ask any of this, but you can also get them at Coronado Springs' Pepper Market food court at dinnertime only (around $4). It's too bad they aren't available at the other parks. In addition, we used to be able to get them at:
MGM: the Ranch Market
Epcot: the fish & chips spot in UK and
the old Sunshine Seasons--they had a great deal of a baked potato,
salad, and chocolate chip cookie combo!
A baked potato sure hits the spot sometimes & is a healthy change from all those yummy fries.