Dc all stars adventure?

Is this an adventure Witwer made himself,or was it a module commercially available in the 80s? The jokey nature of it suggests the former,but the little standees and real-seeming cards suggest the latter

I’m guessing the standees and cards are just good production values and this is an original adventure.