There's about two or three different ones. They're all small and fit into
a little socket that attaches to the back of the cluster. Hyundai doesn't
list by bulb number-- Hyundai had their own part numbers. I don't know
whether a generic parts warehouse would have this type of listing. If so,
they can probably get you the best info.
