Do funds short sub-penny stinky-pinkies? Would they be able to avoid margin requirements to make it more worthwhile than retail ?