Nice hotel and restaurant, my first room smelled l...

Nice hotel and restaurant, my first room smelled like pipe smoke so I asked for another room. They changed me to a different room immedately. The restaurant can be quite crowded with waiting times.