Thank you for this question, I know know the AV uses the Ben Chayyim (spelling?) and most use the Leningrad which is pretty much (as far as I know based on the Ben Asher). But I wanted to do this question but kept forgetting! PB "wise ones", weigh in please.