Yeah, not much more than the regular 7444s, and I think they work a lot better (and obviously last a lot longer). There is a thread on them somewhere around here.
They were original equipment on some models of the plastic-table Performer... that's where I found my first one in the wild.