Yup, that’s right! Been trying different key combinations, including fn+f keys.
Definitely rebooted a few times… not sure what the EC reboot is though? Holding the power button down for an extended period of time (> 30s) doesn’t make it flash green for me…
Thanks