I want a gerber gator folding clip point knife and i have a question about the model numbers. The two knives look exactly the same but one is cheaper. they have different numbers does anyone know if these knives where ever made in china? i really want one made in portland.