Johnny Carson's mic to be auctioned

“Johnny’s Mic… Not Ed’s… Not Fred’s”

Is it Frank’s ?

Or Willie’s ?