A pointless bit of trivia has come up and I'm sure someone here can give me the answer. Has Mayor Lenny's last name ever been revealed? I don't recall it in either film, but wondering if it may have been used in a novelization or some other work? Thanks in advance.

While never onscreen, the novelization of Ghostbusters 2 says Lenny's last name is Clotch.

It's clearly meant to be evocative of Ed Koch, who was the real world Mayor of New York at the time both movies came out.