Maybe 4,000 is like average of both sexes/all heights/ etc? Consuming over 2,000 more than this presumed average would make him an outlier, but if you consider his height/ weight/ muscle mass his TDEE would be higher than average. Also you’d have to account for his condition, he produces half the amount of lactic acid than a normal individual, allowing him to endure more physical activity before getting exhausted.