I would say a 1-1/2 to a 2 ton unit. The smaller one if you intend on leaving it on, larger if only when occupied. No insulation in the ceiling is going to be a problem until you get that done. I would do something with that door, maybe some foil backed 4x8 foam insulation panels that can be rigged up for easy removal when needed. To be safe, I would probably go with the 2 ton especially considering your experience with the house AC. Your R13 is minimal, the door a huge heat gain, hopefully a lot of insulation to be in the ceiling.
You didn\'t say but hopefully the machines are just hobby use occasionally and not real big. Some machines CAN generate enough heat to offset a large amount of AC.
Maybe somebody with a similar setup can tell us what they have.
Those simple little online sizing calculators are basically a wild guess. The calculators the pros use take a LOT more into account, even the roof color, shading on the house, etc and give a very accurate estimate on sizing. Personally, I won\'t usually guess on sizing without seeing the house because so many factors make a difference. Your experience with the house AC shows why details MATTER. Over sized is not needed, CORRECT size is VERY important, two different things.
The advise on not over sizing is the standard of the industry. Over sizing and choosing the wrong size are two different things ! A unit oversized will cool the air faster yes BUT at the expense of poor de-humidification. Getting rid of the humidity is what really creates comfort. A properly sized unit will get the humidity to around 50% after it has been on a few days.
A DIY ac install often results in problems not because of the mechanical portion but the science of it.