I know "emperor tomato ketchup" irl and I'm 100% confident he is named after the stereolab album, not the experimental 1971 japanese film. Not even mentioning

I know "emperor tomato ketchup" irl and I'm 100% confident he is named after the stereolab album, not the experimental 1971 japanese film. Not even mentioning the more likely source of the name makes me pretty suspicious of this whole endeavor.