I was wondering what length of leaders most people use 7 1/2 or 9 1/2 foot. I have seen both lengths and wasn't sure if there was and advantage of on over the other or if it was a matter of prefference.