Thanks for posting that segment on HRD.  Their prices are a bit higher now–including tax my sandwich was just under $12.  I beat the line by getting there just before the lunch rush.  There were easily 20 waiting by the time I left.
 
Pretty fancy digs for a humble knish, CC!