Thanks for the quick response!
I'm considering the Priceline option since it is within the price range. However, it comes out to around $550 for two nights after all the fees are added.
Would be able to confirm if there are also options that you think might be the Trump? With all the additional fees, we might be in a better position with Trump.
Yes, I'm a bit nervous about the double occupancy thing - particularly if we book and get a King size bed when we need two doubles. It seems like the standard rates for 1 King is normally lower than that of 2 doubles.