I looked at them briefly but couldn't get one with a manual at the time.
One big red flag: Timing belt, and a nasty habit of pitching the timing belt if not changed at or before the service interval. It's not an easy one to change, either.
I had an Isuzu Trooper TD that also had a timing belt despite being a pushrod engine, and it did not give me trouble, but I was waiting for that day it killed the engine. Timing belts have no place on a diesel.