Just came across this on Gunbroker: https://www.gunbroker.com/item/740835169

I would love to have one of these but I'll have to pass on the price tag. I recall seeing one of these about 10 yrs ago in a shop by me. I think they were asking about $1300 then & I thought that was crazy. Supply & demand I guess.