At least on mine, you can use Fn-Esc to engage "FnLk" and use the F keys as default. Also, somewhat related you can swap Ctrl and Fn in the BIOS if you prefer your Ctrl key to be in the bottom left, like me.