Our family of 7 (5 adults & 2 children) from Australia are visiting DC for 4 nights in June. We will be staying in Crystal City and planning to use the metro to visit museums, memorials, & capitol hill. For the 3.5 days that we have, we will probably catch the metro into town in the morning & return to the hotel in the evening. Most of our trips will be reasonably short & during the off peak.
I've had a look at the metro website & can't decide which type of ticket is suitable for us.The smart trip tickets seem expensive (@ $5 each) as we will certainly have no use for them after 4 days. The metro website suggests that there's a $1 surcharge per trip for paper tickets which I don't quite understand. I would be grateful if you could point out to me the most economical ticketing option for our trip. Alternatively, should I hire a car?