I was at PKU around that time too, ate at the shop in Haidian book city a couple times. Apparently they rebranded https://en.wikipedia.org/wiki/Mr._Lee_(restaurant)