Yeah, they probably use it as part of a power supply for something relatively minor, entrusting sound quality (where it matters) only to solid state chips and the like. I don't think tubes would be my first choice in a (electrically) noisey car environment, but hey..

Cheers