You called the highway system heavily subsidized. Am I wrong in thinking that the highway system is paid for in gasoline taxes paid by the highway users?
Yes. Gasoline taxes pay for only a portion of the total cost of building and maintaining highways. Money from other sources makes up the rest, and those monies constitute a subsidy. Please see the link in Post #28.