is anyone currently using holdem manager with coinpoker?