Here's a nit-picky question! DW and I HAVE to have coffee first thing each day. We will be in a one-bedroom at OKW. I'm guessing the kitchen has a full-size coffee maker, and we'll bring our favorite Dunkin' Donuts coffee. Question: are filters provided? If not, does anyone know the brand of coffee maker so we can buy some filters beforehand?