$40m Goverment Supercomputer, Sold for $480k ??