I will be leaving for Budapest in a few weeks and will be staying in the Castle District. I will be arriving on a Friday at around 11AM. Can someone recommend any good Hungarian restaurants in either the Castle District or on the Buda side for lunch that day and also for dinner? Nothing too formal, as it will be our first day in the city. I'm afraid we'll be delirious from our long flight and wander into some tourist trap out of desperation, but I think we might be too tired to venture into Pest. Thanks in advance!