You have it right, the Owners Manual calls them "Auxillary high beam headlamps", pg 91.
Do you know of a source for Euro 500E lights? I know I saw some really nice lights (not sure if they are Euro or not?) in some pictures posted from a Japan site recently, but I have not seen any on a US car.
Does anybody have any pictures of a 500E Euro conversion?