Thank you Gil. I didn't know if I could post the link. With buyers premium, it went for US$13,640.00
Here it is: https://www.proxibid.com/Firearms-Mi...67593#topoflot