Phil, I was just about to ask this same question. Yes, the VE's are usually around 8 or 9%, so 16.5 pounds sounds about right if you have decent efficiency. I'm sure there's some database that has 5 and 10 gallon batches scaled out for homebrewers.
I drink I have a thinking problem!!!