Some interesting reading there certainly...

Somewhere it says 'For one manufacturing set-up the variation within one profile is 0.0004 inches'. That's roughly 0.01mm which is negligible. So even if the 80mm dimension is +-0.45mm as it says in your first link, the actual dimension should be stable.