One travel association claims that each US household saves an average of $1148 in taxes because of the tax revenue generated by leisure and business travel. Suppose there is a ratio of $9 : $19 between tax revenue generated by business travel and by leisure travel. How many dollars would the average US household save in taxes because of the tax revenue generated by business travel?