I didn't have time to check on those yet, but it would be highly illogical if it were the case. Think about it, if you "tune down half step" in the studio (i.e. use a non-standard E-tuning), why would you not down-tune the guitar that's used for those another half step live (like with Roller Coaster)? And if the guitar was indeed in standard tuning in the studio, and the song is just for example in A instead of E, why not use the "normal" half step down tuning live and hence play it in Ab?

I know that *I* wouldn't want to make things too complicated and just replicate everything like done in the studio, but with the respective guitars tuned a half step down (Eb instead of E, etc.) Only exception would probably be tunings like Drop D, I don't know if you actually can down-tune those, as I only ever played in standard E tuning up until now