El Paso Electric Co. No. 9401, in circuit court of appeals for 5th circuit. National Labor Relations Board v. El Paso Electric Company; petition of National Labor Relations Board for rehearing.