Is anyone else a fan of Picabu in the Dolphin? We have eaten in there a few times and I think it's a great little restaurant. It's a buffeteria style restaurant so you can get your food quickly, the food is of very good quality and generous portions for the money. Best of all it's open 24/7.