I wonder what kind of friendly neighborhood restaurant is coming. Fancy like Local's Corner across the street or more accessible (yet delicious) like El Metate up at 22nd?
We do our office laundry at that laundromat, so I guess we'll be on the lookout for a new laundromat now.