This AOPA article says
The company is delivering four to five aircraft a month from its Greensboro, North Carolina, factory, the CEO said. In 2017 and the first half of 2018, the HondaJet was the most delivered light jet in the market. All in all, 92 HondaJets are in service with a 99.7-percent dispatch rate, Fujino explained.
So that's 48 to 60 a year. What other light jets are available for purchase?