Maybe of interest or provide some interesting comment.   If you had a HF colonised tree, would you recommend stump grinding to prevent the spread to nearby trees or not?