[edit] I just learned below that that market just opened, so that strategy must not have been available to them.