Those answers are 3 years old.
I asked Michael on twitter what he was using for the album about 3-4 months ago. He was using GTR vst plugins. If he has a laptop on stage now I can only presume he is doing the same live? He didn't clarify his live rig to me.