The place that sold the stuffed pretzels at DHS is the place that's always closed (by Echo Lake), sorry I can't remember the name... something like Bill's something?
I don't know of any other place to order the sweet cream cheese pretzel besides the Lunching Pad, but ask a CM there and another cart/counter service might pick up a specialty item like that during the refurb.
Not sure if you're a fan of other stuffed pretzels, but the jalepeno cheese stuffed pretzel at AK is my favorite! I've tried the cream cheese one and I thought the first few bites were great, but then I kind of changed my mind halfway through, I think the consistency of the cream cheese started bothering me.