I found these three items listed in an upcoming auction. Anybody know what they might be? 'VAX model 83k03820102 cost $537,300', 'Digital Computer model 7FBMAXA cost $467,850', 'Digital Computer model 7FAMXA cost $433,750' Joe