Technically not your only option. We went to Hola Tacos and were the only ones in the restaurant. I guess nobody knows it's open on embarkation day.
Went to the buffet on a sea day and your right, way to over crowded. Wait till 1:30 and it was much better. Didn't find find it that bad on port days. Most people were off the ship.