$5.15 / US gallon is not bad at all. I returned a rental car on Anguilla on Saturday, and had to fill up at $7.07 / US gallon!!! OUCH!