(The basement is also a good place for cheaper snacks than you'll find in the street-level restaurants. )
There are usually cheaper snacks in the basement compared to street level restaurants.