I always thought that the Lyrics and Melody should use channel 4. Certainly all of my commercial midi files use this channel; and therefore so do all my homebrews.

I have never had a problem with my PSR2k displaying lyrics.