Forget KORG !!! Go with yout guts - PSR2000 is great.
I played with PA80 for couple weeks and soooo glad to own PSR2000 now. The only thing I hate about PSR2000 is registration bank default cannot be changed. I have to load it evertime - just bugs me. Is there a way to change it ?