They probably paid a pretty penny for it.
My first startup job was a skunks work project and we had around 128 noun-adjective pairs we wanted to find a .com domain for. All of them were taken.
We had to settle on a .io domain, and this was 7 years ago.
2 year in we came up with a better name and managed to get a .com... with a dash in the URL.