An issuer of a revenue bond has gross revenue of $$46$ million, operating and maintenance expenses of $$33$ million, interest expense of $$2$ million, and principal expense of $$4$ million. If net revenue is pledged, how much money is available to pay the debt service?