Yes, I do believe they were Playtech first. They made the change to Micro a while back if I recall.