They are W575-1s, which are very "dotty"-- no worries, they're genuine and should be affordable.Edited to correct my earlier misinformation-- others had it right.