Demostración de Su nombre de dominio el tragamonedas Avalon II, Microgaming