Yes, there is a recent thread about this precise topic. Pick up the phone and call them. Help Desk often sends the "Out of Office", so that alone would not disturb me. But Help Desk is very likely to give you a mush reply and you would need to kick it up a rung. If there have been no issues of late, it may well be just a glitch.