I have gone through the list of names and out of 38 character names there seem to be 7 options used for the first part of the name and 23/24 for the second part (with a possible typo).
NPC names (not tracking gender):
Bol Duxun
Bol Ilyik
Bol Inen
Bol Lyis
Bol Majun
Bol Noq'
Bol Ogaw
Bol Wuruq
Br'uk Akoh
Br'uk Evu
Br'uk Inen
Br'uk Noq'
Br'uk Ogaw
Br'uk Ts'on
Br'uk Ty'ev
Br'uk Vaw
Hunmu Hoh
Hunmu Q'at
Hunmu Rruk
Rral Br'aax
Rral Majun
Rral Soj
Rral Ty'ukuk
Rral Vaw
Rral Wuruq
Ty'at Br'aax
Ty'at Evu
Ty'at Ilyik
Ty'at Qat
Ty'at Roh
Ty'at Soj
Ty'at Tst'ei
Wuk Duxun
Xax Akoh
Xax Ilyik
Xax Ogaw
Xax Rruk
Xax Tei
First part of name:
Bol
Br'uk
Hunmu
Rral
Ty'at
Wuk
Xax
Second part of name:
Akoh
Br'aax
Duxun
Evu
Hoh
Ilyik
Inen
Lamat
Lyis
Majun
Noq'
Ogaw
Qat / Q'at --- uncertain if this is a typo or two separate names
Roh
Rruk
Soj
Tei
Ts'on
Tst'ei
Ty'ev
Ty'ukuk
Vaw
Wuruq
At a quick look there doesn't seem to be a lot of resemblance to the list of calendar days provided in the link, but maybe they have undergone a lot of transformation. Also, if they are indeed drawing on an eighteen-month calendar for the first names then it seems odd that we've only ended up with seven apparently-months used.
Bouncing through a few links off the Tzolk'in calendar page, from the one on the Maya Hero Twins, there seem to be a lot of characters with names in the format [Number][Noun] so perhaps that is common. I'd love to hear more from someone who actually knows the language rather than poking at it from scratch.
There's also mention that jaguars are prominent in Mesoamerican cultures, which makes it an appropriate choice to make the big-cat-people one of the key races of the region.