Someone knows at what time do I need to arrive at the ferry to buy the 9:00 a.m. trip tickets and have some time to arrange the parking of my car. I heard that in the summer the ferry is usually full. My trip is on july 7th, Tuesday. I will apreciate your help.