Hi Jim.
Well that barrel was Import marked and hooked on to a rebuilt IP receiver.
Sold for $2526.00 plus shipping.
The price of IP receivers have gone up !!

https://www.gunbroker.com/item/785712993