12000, no question. Better to have extra cooling capacity and not need it, than need it and not have it. My largely factory insulated 35' bus in Ohio can stay comfortable with a 12000 BTU in the back but the front gets a little stuffy.
definitely 12000.. unlike a conventional; A/C that are easily Oversized. (and wont pull out the humidity).. a minisplit being variable speed variable refrigerant flow is really hard to oversize.. in fact you want them to be a bit oversized. as a minisplit runs most efficient in relation to its heat exchanger capacities. as about 80% of rated and less..
the only time you really take concern of oversizing a minisplit is if you plan to routinely require less than the unit's minimum output..
I have a full size international CE300 Dog nose. I want to be cool while driving and then cool sleeping at night. I was not planning on having 220 in my skoolie just run one air handler at a time. Thoughts?
best way to achieve that is buy a bus with factory air conditioning... use that for on the road.. usually most full size busses have 2 systems.. you can remove the rear one and install a 120 volt 12k BTU minisplit for sleeping at night..
you keep the front factory bus A/C system for driving during the day..
many busses come with bulkhead units that can be located out of the way in the front bulkhead area so as to not be a head banger or sidemount that interferes with the conversion..