Aniko Büfé is a restaurant offering dishes like nachos and vegetarian options.