They may use the Dominion tabulators. I believe the tabulators and the voting machines are different devices. There's actually evidence dating back into the 90's of tabulators miscounting votes.

I'm in the middle of something now so don't have time to check if they use tabulators.