It does, but it's owned by whomever owns the Williams IP. I believe these days it's Scientific Games.

SG isn't making pinball machines but apparently has licensed the code to an outside group to maybe remake old games or whatever.