If hes using themechanger it might not matter because the first time he ran themechanger he may have had the current versions of the menubar extras in use and thenechanger would have bnacked them up, therefore everytime he changes a theme it will change those elements back to the non aqua versions. So this will happen everytime you apply a theme that doesnt change those elements. Ask Angus how to delete the current aqua backup, then revert to aqua manually, then start themechanger to make a true aqua backup.