Ok, I hadn't read anything about the butt section online but it makes a lot of sense if I needed to change the leader out

How long should a butt section & tippet be?

I've got a 9' 6wt if that has any bearing on the answer.