Hello DEC community, How much of a market is there for sealed in box DEC RKO7K DC disk packs? Thanks, George Wiegand ICS65 at SBCglobal.net Vintage Data General Computer Enthusiast