Jag hade ingen aning om att GPS-signaler är gratis världen över och finansieras av amerikanska skattebetalare med ungefär 2 miljarder dollar per år.