And if so, has anyone been able to extract it yet like was done on the 7100 and 7200 series?
I enjoy using branding from other carriers because it kinda freaks people out. I currently have an 8700c, running on T-Mobile USA with the Vodafone 4.1.0.211 load on it, so getting a Robbers theme, or even better, when the O2 and Vodafone ones come out getting those, would be awesome.