BusinessTodd Cravens Joins Galaxy Gaming to Lead its Business DevelopmentBy Nasdaq OMXJan 3, 2017, 6:30 PM UTC