Does anyone know what a box of five original Colt GI extractor would be worth? They are in a small box label Colt and are in the light gray finish.