Thanks
GRR_Flier, would like to have stayed at the Taj but couldn't get any decent deals for the dates I'm there - >US$200 at either the palace or the president. Went for the Gordon House Hotel instead, US$125/nt, and am hoping it's not as noisy as the
Reviews on Tripadvisor make out. Was able to book through travelocity.