Good catch — I'd forgotten that we already had
a thread re: Karl singing bits of other tunes.
I tried to transcribe what he was singing here, but the audio in my copy is too muddy to make anything out other than "Tokyo, Tokyo..." about halfway through.