Man this was a nice rifle. Would have loved to have if but couldn't bring myself to pay $9,000. But maybe it's worth that. He also sold a early M1 Garand for $11k.
https://www.gunauction.com/buy/14611489/
https://www.gunauction.com/buy/14611489/