That’s a good point, Gerry. I hadn’t thought of that. Right now, all or most of our GA taxes fund our portion of the system. Passenger taxes on commercial flights fund theirs. Not sure how that will work if AVgas goes away. Probably won’t happen in my lifetime though.