does anyone have experience with the new hewlett-packard 712/60 or 712/80i workstations running nextstep 3.2 and cm/clm/cmn under gcl or the like? i had a look on the machine last week (but, alas, no lisp) and it seems to be pretty fast (zooming)but still cheap. (64 MB RAM, 300 MB HD, 20" RGB Monitor == $7,700)