Hi Mark,
My styles are all sorted for my pa3x. Duplicates removed. (I hope.) I spent at least 3 weeks sorting out the duplicates. I found they can have a slightly different name, between the models, but same style.
It's an assortment of pa800, musikant ,pa1x etc, ( old factory , the ones missing on the pa3x. not tweaked but a lot of them sound ok) plus some user conversions of mine,and song styles.
As for the musikant, if I remember correctly, it had sounds the pa3x didn't , really a case of replacing it with something similar. I think I actually downloaded the manual at the time, soI could work out the type of sound it should be using ie doing a comparison.
I only tweak the styles if I find I need one.

You're welcome to have a copy of the styles.
Not much work required on your part, just load them and see what's useable for your needs.

Maybe rather than rush out and buy a pa4x, try some of these on your pa3x ( apparently they also work ok on the pa4x) and work out if the korg is really for you.

Sounds like you've had a bit of a love/hate relationship with the korg.

Btw , I ended up with the psrs950, l luv Yamaha styles, but I still keep going back to the korg. I convert if I really find I need one that my korg hasn't got, that I think I can't do without.