it seems they don't think PR is coming any time soon or they wouldn't be shorting.. when is a reasonable time frame to expect this PR? i think EOW is out of the question, but EOM? if it doesn't come by EOM, what then?