Well holy chit... They really were using small car driving lamps. Hella Micro Xenon's were probably these:
http://www.rallylights.com/hella/Micro_DE.asp
(i've bought nearly all the auxiliary lamps for my car from
www.rallylights.com)
I've thought about doing that with a set of smaller driving lamps i have laying around...