Morton..
I have been and am still going through this right now. My shop is a little bigger than yours --it is about 800 square feet--I have two portable a/c units both 12,000 btu. I have successfully cooled the shop to about 5 degrees cooler than the outdoors. I was and am frustrated to say the least. My shop while fully insulated just never seems to get cool. I had a friend over and we noticed on one of the 100 degree days that in my attic, was 126 degrees, I measured it with a meat thermometer....I have very dark shingles, and while I have a ridge vent and soffit vents, the soffits are covered with insulation. It is literally like an oven right on top of my shop. Right now it is too hot to go up there and fix it, so I am waiting for cooler weather. If I were you I would make sure you have a vent fan or something in your attic before you start. Those a/c units are working as hard as they can and just not making any headway, becasue the air filtration unit is 6 inches from the ceiling and with the dc unit it is just grabbing the warm air from above your head and defeating the a/c. I am certainly no expert, so this is just my .02