Hugo Chavez got his full $3.00 per gallon for every gallon that was sold. The government got its full cut for every gallon that was sold. The one who is out the $3.15 per gallon for each of the thousands of gallons that were sold during the time in question is the small business owner who operates that gas station.
I would expect that most of the people taking advantage of the situation were using the pay at the pump option -- which might allow the owner recourse to hit the cards used for payment for the difference in price.
Yeah, sad but true. But I refuse to fuel up at CITCO just for the Venezuela connection.