Can anyone tell me if the coffee makers in room at Royal Palm use a #4 filter or a basket type filter? Want to know which to bring otherwise buying a box when I only need 7.

Thanks for the info.

David