Went to ebay to check this out. Entered "Microvax 3100" and got some interesting results. A model 90 w/ 64MB for $3183. Is this for real? There's a 3100/98 system going for $3950. I see other variations ranging from $49 (1 bid) to $3175. Are these things really worth this much? AEF