The room was a double not a king. The front desk person said that was because their system overbooked and there wasn’t nothing they could do. When I politely asked if they could do something to make it better, he said “maybe” they could knock a couple of dollars off the price but he was busy and couldn’t deal with it right now. There was no line at the front desk at the time. I was being polite. I was really surprised by how little he cared even though he admitted they were the ones that made the mistake.