I did end up with the rifle, made a reasonable deal I think.
Looks to me like the barrel has been replaced at some point.
Arsenal refurbished in 1938 and 1953 in Brazilicon.
Nice rifle really, but not a mint original, it’s had a long service life!





Probably not going to keep it though, not really what I’m interested in.