My husband and I have been to CRT several times. One year they had a dinner buffet a few nights (but not every night we were there) by the lobby. We are wondering if there is now a buffet option--or if the new Thai place is more casual? Sometimes after a long hard day of sun, drinking, swimming, napping, drinking ; )...you just don't want to put on the nicer clothes. Anyone who has been there recently have any thoughts?