I believe one of DarkyBenji's revo_karts contained the starman theme, but you'd have to do some more digging to find it
(and i'm still not even 100% sure that it exists)
It would probably be easier to edit your own, as Fancy stated above. However, even this method would still take a medium amount of effort and some researching, but I bet it would be a faster solution.