A while back my husband took me out for Vietnamese style steamed blue crab at a very casual Vietnamese restaurant in a shopping center near Leesburg Pike and Columbia Pike. Anyone know if it is still there, or a place with similar steamed crab? The Vietnamese style seemed to be mostly from the spices and dipping sauces served with the crab. This was the messy, crack-it-yourself type crab.