Title: Restaurant Basics Revisited