Have any of you spent the night in Galveston at one of the hotels that allow you to park your car there while you are on your cruise? How hard was it to get a cab to the pier?