> Overall, is there really an efficiency gain to be had here?

Formally adopting the metric system would probably be a better use of the capital that it would take to convince the average person to adjust a point of reference.

https://en.wikipedia.org/wiki/Metric_system#/media/File:Metr...

I look forward to the inevitable responses about how base 12 is better than base 10...