I'll ask them. I have been running 660's for the last few years, installed annular boosters, and a lot of jet changes to get them somewhat tuned for this altitude. I wanted something better without going to fi. I hope these are the ticket.
Initial tuning on TR carbs is enough work. Tuning for altitude is a whole other game. I've tuned for about 4500 feet coming from sea level. I was shocked at what I had to do. I can't imagine tuning to 8000 or 9000 feet.