Stations casino. Casino carpet texture.

So, we wanted to finish our lunch before boarding. We arrived 10 mins before 12PM and since we had food with us, we sat on the bench in front of cruise entrance and started to eat our lunch as quickly as we can. We were with our 3 year old son. We did not want the cruise to be late because of us. We ate whatever we could in 5 mins and boarded the ship. However, the cruise did not start even till 12:10 PM. So, I inquired and the staff told us that they are still waiting for a bus party to arrive. I am totally fine with it, but they saw us eating the lunch in hurry in front of them and not one person has the courtesy to tell that we can eat at peace as there is another bus party which they are waiting for. Also, on board the behavior of staff was more rude. They only had Hot dogs and Pizza to order. Only Ketchup and Mustard was there as condiments and when the Ketchup bottle was finished and I asked if they have another one, the lady rudely replied No. You have more than 100 people on board and don't carry an extra bottle of Ketchup. The on board staff was rude to kids as well. Its a 3 hour cruise, so kids will run around and do some stuff.