IMO: the math could be right or wrong. I would use this turbo on it.
tripple ball bearing kkk turbo, out of a 1987 hitler mercedes benz wagon, internal wastegated. You may find these at local junk yards for cheap. It's a small turbo, factory diesel turbocharger, very reliable.