Well, If it matters, Kunis and Green are singing as their regular characters, whereas Sebastian never appeared in any role on Kotter, that I’m aware of.
Not that it really matters; credit placement is a product of contract negotiation, the huge cautionary example of the process gone wrong being Judson Scott.