A 5" would be more comfortable to use, less tiring then a 9" but a 5" with 10mm steel, that's big ask, it will do it, slow going and you will go through discs.Thanks. Good info there.
Like others my 115mm is my grinder of choice.
If you are going to be cutting through 4mm and up on a weekly basis, flat steel, a Plasma cutter would be a better choice.