I was at a gun show today and located a M1914 that had a high gloss finish. The rifle had been issued to the Dutch East India Army. Would they have had a high gloss finish from the factory for a tropical environment or is this likely someones home refinish?