I know the first is not, as I have one. The latter two I think are not, as I've emailed that seller before and been told none were (at the time). I don't recall if those particular model numbers were listed, though.
I can tell you though that it's a really nice rubber dome, for sure. And it can be converted to a buckling spring, or the controller used to swap into a non-working other model, etc. Basically, it's nice and quiet, or useful for parts.