I'm thinking that they used a Mark iic+ on the Puppets album, but on Justice there was a Quad. This complicates things a bit. I've seen settings for the Quad during the recording of Justice, but one thing that it doesn't say is if they're using the Lead 1 or Lead 2 channels. I'm going to guess that on Justice they were using the Lead 2 or Mark III channel...