If this gun is located in Grand Rapids MI then I have seen it and the asking price then was around $9K if memory serves...which is a big if
I considered it briefly but it's such a specialized gun that I put it out of my mind and I didn't think the price was right.
Thanks to one of our members I found a nice solid VH 20 w/28 inch bbls at a very fair price. They are out there good guns at honest prices it's finding them thats the hard part..sometimes.