I have 250 Dutch guilders that I acquired on a previous trip (pre-2002). I understand that there was a 10-year conversion period for these that ended in 2012. (Fair enough.) However, I'd still like to get some use from these, if possible. Anyone have any ideas, or can you suggest a way I can convert them to Euros?