After that, to 2016, an earlier upstart facility named Pragmatic Play came along