I think the choice between a PC based amp modelling system and a real amp depends a lot of your expected use.
If you are the sort of person that always has their PC on and uses it for everything, then you may get on with Guitar Rig (or ToneLib, or Bias Amp, or S-Gear, or one of the many other PC based systems).
All of these systems will offer far greater tonal variety and options than any real amp, modelling or otherwise (including practice amps offered by companies like Positive Grid which are very limited compared to the PC version).
However, they are also tied to the PC, and limited by your PC speaker system, unless you want to use them with headphones all the time. They also suffer from more latency than real amps. Whether this is noticeable for you or not is a personal thing. And a big question should be: how much versatility do you want, as that comes at a price.
Note that many of these software apps have trial versions, which are worth having a play with to see how you get on.
Personally I prefer not being shackled to a PC. I do have a PC app (ToneLib, which is very good), but I find I prefer using a real amp. I also find that having too many options is a bit of a waste of time, as you can spend hours just auditioning and playing with different tones. YMMV.
That’s a good shout. There’s lots of options here including the Helix, the Boss GX100, and the Zoom devices which should give you.more than enough options.
I’ve not used the mini but, given their track record of overhyping with the Spark 40, I wouldn’t recommend.
From what I see it’s a more portable version of the Spark 40, with a smaller speaker and cabinet and fewer physical controls. This means it’s not going to sound as good as the Spark 40.
My personal view, having owned both the Spark 40 and the Katana, is the Katana is the better amp for most people, unless space is a constraint. It sounds better and is more versatile.
Cheers,
Keith