They have finally been officially eradicated, according to the Washington State and U.S. Departments of Agriculture.
The best bet is to remove them with a sharp knife.