Who's in charge of GTE's stock options (the ones we buy on the market-not the ones given to officers, directors, etc.)? AMEX, CTOB? So if GTE is ultimately delisted, are all the Oct. calls and puts automatically worthless? Don