I would buy a new product key and download windows with windows media creater
https://www.microsoft.com/en-ca/software-download/windows10
you just never know what's in that cracked version windows just to be on the safe side
if the repair shop installed that copy of windows I would call the police and let them know about it