SSL web traffic in China

We have a customer with problems to sync his pda with his groupware application. Communication happens to a web server through a SSL socket. Whereas here in belgium we cannot see any problems, it doesn’t work for the customer. That customer happens to be in China at this moment. Are The Big Firewalls blocking (certain) traffic on tcp/443?