Title: What to do with a dead pinon