Credit: Getty Images/iStockphoto/IPGGutenbergUKLtd Gas prices in DC area lower than mid-June, but still a pain in the wallet