Symbolics products price list (August 2007)