IMO, the right thing to do is grandfather in any existing season ticket holders, if they ask. Have them go to a specific entrance where someone can check an ID and mark them off a list. Simple job for an intern or whatever.

I agree. He's one of some tiny number of people that all the staff will know on sight. Even printing a ticket for him is just a formality really.