It shouldn't cover up the button but I'll bring it up with [@]@HotelUser[/@] and see if he can hide it for them.
If they have any toolbars or if they don't have a huge screen like you or I might be used too it probably does overlap. At around the browser being 1200 pixels tall it covers it up.