Have all 3 of these completed from that large lot we bought (it's taking longer than we had ever dreamed).
7412 is missing a little orange cube piece (for lack of proper definition) that I replaced with a white colored identical part unless my wife can find the orange one tonight. All 3 sets come with manuals and no box. Manuals are in used but good condition with slight binding creases and no fading or tears.
7417 is a very neat set.
Price: 7415- 4.00 7412 4.00 7417 19.00
Take all 3 for 25.00.
Prices do not include shipping (about 5.00 to lower 48 states, no idea for international). If this item doesn't sell within 3 days I'll list all 3 as a lot on ebay with a still to be determined starting bid. I will also be happy to sell the sets through bricklink.com if you'd like. I accept paypal, bidpay, checks, money orders, etc.