Does anybody happen to know what the Minis and the Pistols sold for new back when they came out? It would be interesting to know how much they've appreciated.