Sorry, I don't know anything about color so this may be a dumb question.
Are Ilfachrome chemicals still available? Aren't they used to process Cibachrome paper? Is the paper still available? Are their substitutes that he can use on a JOBO Processor to make color prints?