The national average on Tuesday is $4.00 a gallon, and GasBuddy expects prices could fall to $3.75 by the Fourth of July if shipping picks up through the Strait of Hormuz.