Hello, A friend of a friend has to recoup some money and has two Garands for sale. Both are 1945 one is original and the other has a 1954 barrel. (redone Korean era) The one that was redone is as good as you can get. Wants $800 for it. The original is really nice but not as nice and has a muzzle measurement of 1 and throat at 2 for $750. I'm no expert but are these prices good, bad or??? Which one would be the better pick? Any suggestions from experts would be greatly appreciated. Thanks.