Mark.Tucker@CMU-CS-GANDALF.ARPA (01/29/85)
I think 15000 Pounds is about $16500. (1Pound ~ $1.10) -- Mark Tucker