What's a good starting price on a AMT Auto Mag II/ Stainless Steel/ 22 mag/ 6" barrel/ 4 clips/ box with all paper work/ fired very little

Saw one of these at the local gun show Saturday. I believe he was asking $700 for it. It was in good shape. Not sure how many mags he had or if there was a box or not, as it wasn't displayed. Maybe check completed auctions on GB.

Doesn’t sound out of line. They are over priced in my opinion. I have owned 3, still have one. All of them didn’t feed well. The one I kept only feeds one type of 22wrm good.