“The booking was accidentally made twice and when I checked in I mentioned to DEV (a very nice employee at the desk) that I was due a refund. He said he knew about the error and had fixed the problem, that a refund would be issued.
I’m still due a refund. What phone number should I call for help?”