I saw him in HS in late 70’s as well. A bit before King Tut.
LWIII was also on the bill and got booed.
It wasn’t a Martin show, but a benefit so there was also Robin Williams (right before Mork and Mindy) and Martin Mull.
Which of them was the funniest?