I would be more interested if the stock was original, or if they still have it. Typically the k31 rifles have good blueing, and beat to h%$& stocks. That would explain the replacement stock. They took good care of their weapons, but trained with them regularily.
How many rounds? Is it a 20 round box of recent production ammo or a 60 round brick of swiss surplus?
It sounds like the price is a little high, but the custom stock is the culprit.