On a recent trip to Gettysburg, I was stunned to find the retail location closed and for sale/lease. Are they still selling wholesale? Anyone have any information? I think they were making the best pretzel on the market. (And the best soft pretzel I've ever had.) What a shame!