I have a bankers box worth of dec ultrix 32 reference manuals in grey dec binders. Im looking to sell the box of books for a few $ plus the cost of shipping. Hoping to find these books a good home. --Devin D.