the pool paid him, but for whatever reason his wallet is not showing any transactions.  

We have heard the same thing from several people running wallet version .4; running wallet .3 appears to still work.

Have you put up an explorer? Do you have any DNS seeders and official nodes?