@bigtrain/Tom You are right the reprint set wasn't cheap. I searched my ebay past purchases but could not find the record. I think I paid $50 or $60 for the complete set, it might have been more
But with the original box, down the road I can always re-sell it.