Straightforward processes. The spaces in the garage of Westin, Crystal City are unreserved and there is overflow parking for hotel guests on busy nights. I'd recommend arriving in good time. In our case, arriving mid-afternoon and staying overnight before an early morning flight meant we found a space easily.