HotelDesk.net would fit for an Internet hotel booking system. The two other convey the same idea.
IMO you are looking at low $$$ because they are .net. Perhaps a bit more if you find the right end user
It's a nice name, and the .net extension, while not perfect, is poetically pleasing because now all the words have the letter 'e'. It just sounds good.