We have, and their support needs more time to answer our email or chat queries than they've given us notice. So I guess they do observe holiday support times, just not for their customers.