Last place had a shop about that size, metal building with R9 in walls and ceiling. I put in the Mr Cool 24k BTU and it was about right. MAYBE a little undersized.
But a metal building is hotter, and I'm not sure I trust the R9 rating of that insulation.
If I were you, I'd probably do the 24k.