date of shipment. If any such product proves defective during this warranty period, Tektronix, at its op- tion, either will repair the defective product without charge for parts and labor, or will provide a replacement in ex- change for the defective product. In order to obtain service under this warranty