I'd say it's probably adjusted and set up just fine if it ran well at 12,000 feet!
I started thinking about it a little more, and rather than going with an electric choke, I may as well just get a manual choke! I think they're like $25 or so through JT outfitters.