It is worth mentioning that he can also use the Bitbox02 hardware wallet without using a PC or laptop. If Im not mistaken, the Bitbox02 HW uses a USB connection and works perfectly well with any recent smartphone. Maybe even more practical than using a laptop for its intended purpose.
Yes the Bitbox02 has a USB type C and USB type A port connection that can be plugged to Android phones that supports type C and even latest IOS phones that supports the ports, it also comes with micro SD card too and with ability of this hardware wallets not to allow seed phrase to be shared with connected device its still ok to me. But one thing I have notice is most people actually prefers using computer or laptops because of the features that the system wallets can have over that of phone. For example using electrum wallets connected to hardware wallet there features more on system than on phone.
As for OP make sure you’re buying a laptop not too old because the latest windows it can connect to is windows 10 and be wary of old laptops because of cases like keyloggers that can copy address and the rest. But overall your hardware wallet doesn’t exposed your keys or seed to any connected device if that’s your fear