The way I did it was just using the ruler tool on Google earth and came up with the 16,181 shown in the clip I added. Definitely not an exact number because I'm just dragging it from point to point. Not very exact.
I'd say his is likely right on the money.