He has also replaced the coil. Eventually got it started and it ran well for a week and then died as he was pulling in a parking spot at work. Finally had it towed and it turns out the distributor and coil were faulty. Replaced each and it runs like a baby (except for an ignition issue, which is next on the list!)
Thanks for your help!