If they right-click on the Inbox and select Open when it is in that state, do they then see mail? If so, you may want to check if IBM Technote 1965120 applies.
If the technote does not apply in your case, that is, there is no unnamed folder in the mail files, the solution provided in this case would still be worth trying:
1) Create a temporary folder.
2) Move the mail that appears in the Inbox to the temporary folder.
3) Delete the Inbox through the Designer client.
4) Do a refresh design on the mail file.
5) Move the mail that is in the temporary folder to the new Inbox.
6) Delete the temporary folder.