1950 Spanish Mauser

I'm in the process of purchasing a 1950 number matching Spanish Mauser. The markings indicate that is was made by Fabrica DeArmas at the La Coruna plant in 1950, that is is cal. 7.92 (8x57JS). The right side of the receiver has a 72 followed by a semi-heart looking symbol, which is followed by a small banner looking symbol. Could someone enlighten me as to the history of these guns, and if $90 is a good price for it. The stock is beautiful, shiny, unmarked, with nice grain; the hardware has 100% blueing or is black (front most handguard band) the bore is clean, shiny, with sharp rifling; the last 2 inches of the barrel (just forward of the handguard) has had the blueing removed and now has a satin finish. Am I getting the buy that I think I am?