Hi all, I know that you all discussed free Muni at the working group meeting on Tuesday. Did the actual amount that Muni spends collecting fares come up in the conversation? And if so, how much is it? Dave