I have booked the Ho-Jo for August 1-6 and now find out that their main pool is closed until 10/31/02. They say they have another pool that is heated and remains open. Has anybody been there and know what the "other pool" is like? Or should I abandoned this hotel and find another. Any advice would be appreciated.