Does anyone know what might be the current market price for a used Symbolics 3640, purchased from a third party (i.e. not Symbolics)? To specify it more precisely, let's say a 3640 with 8 MB of memory and two 140 MB disks. Thanks, Martin Purvis