https://hrnxt.com/news/executive-moves/pds-gaming-announces-appointment-of-new-ceo/21548/2020/07/02/