If you buy on the Dutch side the pump price is in Antilean Guilders. I use the approx conversion of 35 Guilders equals 20 US. If I do buy on the Dutch side I pull out a 20 for the attendant and then check they pump in 35G's worth
Note learned that from TTOL!, thanks to whoever posted that tip a yr or so ago!
.
