I recall way WAY back when with my A Coupe, having to change out my air correction jets when I got to Denver. It Was not hard to do, and I could not tell you one way or the other if it made a hill of beans difference. But the guys said do it, and so I did before scaling the Rockies. Two little Solexes, 32s I think.
As to EFI on Type 1s: sounds like a really cool theory. Also sounds like a whole lot of theory and somewhat less actual fine reality, rather too hard to nail down.