There’s a great cafe downstairs that has the best bocadillos.