High five to you, no offense to the gun dealers out there, as you will probably give them more than the gun store would.
Rough {{ed

}} prices:
75% pretty rough, so a bit more than shooter, but still worth $600 ? {{being a byf 42 might change the price. Frank?}
decent brown holster 1942 at least $100, probably $150 brown color is more desirable to people and it could be a rarer variation {guys?}
135 tool, at least $50
parts magazine at least $20-40 on e-bay
So, if you like it and think it is worth $800 to you...