At a recent show, saw a mixmaster IP sell for 3k. Serial number was 1.77 something. Didn’t get a look at the barrel. Had a bayonet lug, adjustable rear sight. Not sure if stock was original but it had a boxed P above the wrist. Seems likes a crazy price to me but buyer stated it was the only maker he didn’t have. Also said an original one was too much and he wouldn’t know how to tell anyway