Acho que, de acordo com suas menções, ele ainda está usando o Beta, e não uma versão normal do Mavericks. Eu acho que a Apple não propaga mais atualizações para o Betas. Eles têm um novo sistema operacional beta agora.
Pode ser que a Betas tenha seus próprios Appstore / Update Servers e a Apple talvez os tenha retirado recentemente ou alterado para Yosemitte Servers.
Se ele estava no Programa Beta ou fez o download do Beta no Dev Center (Download grátis), não obtém acesso automático à versão final do Mavericks gratuitamente, ele precisa comprar o Mavericks na Appstore como todos os outros, então ele pode instalar os não Beta Mavericks e, em seguida, obtenha as atualizações.