any update / recent experience on the lounge. Going early June for a few days to Berlin,. Hotel fully booked until 7th (was offered a noom as a Diamond but standard rate was too expensive) so I am staying a few days prior in the Hilton which has a surprisingly nice lounge.