ptec#1 was removed from profile on Jul 8.  It showed errors when downloading with copy_usbdisk.sh, so I did a bb_fsck.sh on it.  As of 8:20 pm it was still running.

ptec#5 was removed from upwind later on Jul 8. It still needs to be downloaded.