We will be there in Mid July as well and were wondering if most restaurants are typically still open that time of the year?