F1 25 download code

My son has a game pass for xbox on his computer, which includes F1 25. When he tries to install it it says that a code is needed to redeem. How/ where can he get the code from? Many thanks