Ну для справки, простой сопроцессор PDP-11, втыкающийся в PCI слот сейчас стоит $14000 - это без адаптеров qbus/unibus