In the United States, there are more than 12,500 business jets, including very light jets registered with the FAA.