UPDATE: Feb '22. Been there and took the money out. Went to the same window where I initially made the deposit and handed them the original receipt with stamps on it. The man took the document, stamp, stamp, stamp, sign, sign, sign and counted out the money. Not a single question asked. All-in-all, took about 300 EUR hit on conversions and exchange rate but going to an exchange store (i.e. Cambios Chaco) would have been more expensive actually. So, chalked that cost to 'mission accomplished'.
NOTE: It helps to look the part... Dressed well and just doing business. There were several (typical) entitled gringos in line, dressed like slobs with their shorts and flip-flops, demanding they speak to someone who speaks English, being loud and obnoxious ... They did not have such an easy time.