the line i have is 9', and since 1980, the all star game has been under 9' 15 times. thats good enough for me. as game under 9'
