Holley Pro Dominator install. Carb setup

Personally I would jet them for altitude as you explained and run it. Fact of the matter is either way is a baseline. You’re more than likely going to have to change it anyway. Just my $.02
Thanks