I guess the critical element would be when the money from the cash raising in June went over to Mexico [if it has all been exported].
Looks like the rate would have been at least 13.5 pesos to the Aussie, and it might have been as high as 15, with a bit of luck.
The ten year chart shows that this is a particularly good time for an Aussie explorer to be spending money in Mexico.
A good time for tourists, too. Tour of MdP, anyone?