The Krayolas have done three Christmas songs, so far as I know. The most recent was "Run Rudolph Run" which appears on the band's latest release, "Tipsy Topsy Turvy". "Christmas Time", as it happens, was a 1980 single release before appearing on the 2007 EP "Christmas Time And Other Cheer". "Tex-Mex Rudolph" was on that EP, too, though it's precise origin remains a mystery to me.
Anyway, the important thing here is that The Krayolas are giving all three songs away as free downloads this year. It's a pretty good cross-section of Krayolas music, with my personal favorite being "Christmas Time". Head to The Krayolas web site and jump on these bad boys right away, lest they disappear up the chimney.