In the last 3 HP laptops that I tested F9 was the correct key.

Esc was for boot options in general which will be more confusing for
users.