I am thinking of selling my built by factory yellow Mini Mark IV. Has factory AIR and was listed in original sales brochure. Have both hardtop and soft top. Always stored. Under 13000 miles. Built in 82. Thinking around $10,000. All original including both fender tires and wire wheels all around.