Hm. If nobody knows, I may resort to string parsing. I managed to look up some data which tells me (I think) that if the string matches GMT exactly that it will then display +0000 at the end. Meaning, the string format will always be a certain way and will be relatively reliable. So I could always check the -5th spot for a + or a -, and then get spots -4-3 for the hour and -1 -2 for the minute, and I'd have it.

So this is do-able with parsing, but it's just nagging me that PHP should have a built-in function for it and I'm just not getting the google-fu right on it.