The Dutch side stations I have filled up at always give you NAƒ35 for US$20. I don't know of one that doesn't. I just try to time my visits to Orient when I need gas so I can get it at Cadisco and get it at par to the €.