@moonman I'm just implying that if they don't block HTTPS, then they don't truly block !xmpp either.
It is possible to connect to XMPP through the 443 port, and it's possible to stream it through HTTPS with WebSockets or BOSH.
It's possible to block even that, but I somehow doubt they have DPI of this level (or any) ;-).