Yep - some 3057 was used for OEM, some were 3157 - it has a slightly brighter low filament, 3457 has both filaments brighter.
read the fine print ........... (Seville, but .................)
read the fine print ........... (Seville, but .................)