According to previous owner they all work, I haven't tested them on my car obviously.
They come from a 2016 model S with 21000 miles.
I don't think they are $25 a piece at service center, more like $100 from what I read. At this price you might be talking about gen1 sensors.