Normally I'd say around $600, but in these times it's hard to say. Check gunbroker for listed items and bids.
You can find some older mini's for 600.00 but not factory folders. On Gunbroker they are all over the place, there were some that sold from 1200-2000 and at the same time there were many that didn't sell in that price range.