I heard she had a leased car. I hope she got the extended collision coverage, it really can be a good deal. For about $2 a month, you get $5000 worth of collision coverage, and believe you me, collision repair can be very expensive in the DC area ...
Rammed WH gates were three blocks away from actual WH.