You may want to wait just a bit for the next Korg to replace the pa800 (if they do one- there's chatter of a pa900 coming) .. as a second board, it should be less $$ than the 3x.

I really think that a real Ketron fan won't be satisfied with something different. Why not an SD5? Around 2k new without vocalizer or hard drive (both available)?