Question about a Waiter Grover/Mr. Johnson sketch

[YellowYahooey]

I recall seeing on Muppet Wiki information about a sketch that was first shown in the late 1980s or very early 1990s in which Mr. Johnson sees Grover working at a new fast food restaurant called O'Brien's Fast Food, in which the food is delivered super fast, but Mr. Johnson wants slow food. Was the O'Brien's Fast Food branding named in honor of Chet O'Brien (who played Mr. MacIntosh) or staffer Mortimer O'Brien, or any other staffer with the surname O'Brien, or just random?