Hi everyone. I'm new to the DIS so please pardon me if this is answered already. I've tried to search to see if this question has been answered but my google skills are limited... We travel to Aulani at the end of the month and are staying in the Standard Rooms. Does anyone know what type of coffee maker is in this room? Standard hotel 4 cup or a full size? Does it take basket filters? Thanks in advance!