So what were you suggesting they do, buy the currency? If you wanted them to do that you would have got better exposure by buying it yourself.
Did you manage to pick up any at 0.9c? There wasn't much on offer, but it might get back there over Christmas when everything's quiet.