Phone numbers
| US, Texas | +1 866 592 1343 | 7:00 AM – 5:00 PM US Central Time |
| Germany | +49 4131 9511 95 | 8:00 AM– 4:00 PM CET |
| France | +33 1 60 94 22 99 | 9:00 AM– 5:00 PM CET |
| Singapore | +65 6536 9990 | 9:00 AM – 6:00 PM GMT+8 |
| China, Shanghai | +86 21 5047 8881 | 9:30 AM – 5:30 PM GMT+8 |