Best of luck to JPLers. I know someone who was laid off. These are some inordinately talented people.