my domain is currently on sale at sedo, all TLd registered.. the link to the auction http://www.sedo.com/search/details.php4?domain=hotelportal.us
Personally I would not build the site on hotelportal.com nor hotelportal.us as I think that in the future the brand names like 'gonzotravel' will take over the domains with keywords in. For me 'Hotel Portal' doesn't sound good, and the keywords are so-so. However I am not from US, and maybe Americans value the domain different. I say $200.
As an American... 200 is generous! If you go to an American street corner.. even a busy downtown financial district and ask 100 people what a portal is I doubt 10 would know. Just not a word in the common American English lexicon! I hope you get 40 million for it though!