I developed the films today. It turned out he had shot them at EI 100 by mistake, so I used Jim's suggestion of 11 minutes at 1+1, figuring that 1.3 stops over-exposure (from EI 250) wouldn't do any harm. They came out fine.

Thanks again!