SETI@home (ca. 2000) servers heading to salvage.