Are these obsolete or can they still be redeemed for "new" pesos? I think in 1988 these were worth a total of about $9 USD.