Note: groups.io will be down for maintenance on Monday, September 26th, starting at 9AM Pacific Time (4PM Monday September 26, 2022 UTC), for approximately one hour.
What's the exact model number? If you go to the support page for that machine and download the Owner's Manual (or whatever they call it) it should note whether media keys/smart keys are enabled by default or not.
I don't know exactly when, or on which model(s), this feature made its debut. You could definitely get your parents to do the BIOS tweak if it is present and enabled.
Brian - Windows 10 Home, 64-Bit, Version 1809, Build 17763
Explanations exist; they have existed for all time; there is always a well-known solution to every human problem — neat, plausible, and wrong.
~ H.L. Mencken, AKA The Sage of Baltimore