The machines are distributed by the Texas-based American Rounds.