Cheers bud, This is a live set up I have been using for about 18 months.
I was using a korg Trinity which I still have but it is very heavy and I got the Karma from a friend for £400. I highly recommend it if you ever wanted an update. The DX11 I got second hand from a local music shop for around £100, the sounds onboard are a bit harsh but it makes a good controller keyboard.
I see you use a JunoD, I had one for a while, good sounds but I found the 32 user performaces a bit limiting. I have just got a Roland Fantom X6 with four sound boards including the John Lord organ board which sounds fantastic.
Dream Theater are great and Jordan Rudess rules.
What sort of stuff are you playing?