I also thought it was a kerig
They hold individual packets but you can use a paper towel as a filter and make your own coffee.
I'm pretty sure it was a keurig, but you could always call the hotel to find out.
Thanks! Your answer is awaiting moderation.