[net.rumor] Naming VAXen.

hamilton@uiucuxc.UUCP (11/25/84)

also note that 8600 = 4300*2...