You should think more about it, this domains has a good end-user potential, why don't you go and try to promote it to all those "hotel bahamas" you can find on Google? Most of them have poor domains.
Then its value would vary a lot, it depends which one will be interested in your domain.
If the small hotel in a unknown town or if a big one in a major city.
I'd say between mid $xxx and low $x,xxx.