No, with 13.5% buyer's premium on the hammer price it's $90,800. That's a lot for a used Royal, Deluxe or no, and it's a ton for a '50s gun.

The individual rifle may have been nice, but value wise, it really doesn't matter. All of the British makers built guns in the '50s & '60s that they're still trying to live down. The double guns, especially the double rifles, from that period are automatically suspect and it's hard to get full price out of them. The buyer may find that out the hard way when he gets ready to sell.
---------------------------------------------------------------------------