You probably need more like a 10k btu unit..although most recommendations I've seen on GJ are using a 12k unit and getting well chilled. Definitely make sure that you've insulated and buttoned up everything first though, otherwise it won't work, no matter what you do.
I've got a 20x26 shop with a 8500 unit and it just laughs. But I'm still in the process of insulating atm. I still figure my unit will be a bit underpowered, but I'll probably live with it, since it's only hot about 2-3 months of the year and with the insulation, I'm hoping to keep it below 85 degrees. I can still work in that temp.