At least before this Covid-19 pandemic, my preferred Priority Pass lounge at IAD has been the TK lounge, sometimes even if it was more crowded. That is because I used to find its food offerings much more to my taste. Is the TK lounge buffet closed up due to the Covid-19 situation?