How to add an external power button?

[SpoofyKid]

Does the RockPro64 have header pins (or something similar) for an external power button? I would like to add such a button, since the on-board one can be difficult to use.

I see four holes at the corner of the board near the headphone jack. They're at the bottom right of this close-up view. One of those contacts is labeled PWR. Does that mean it's for delivering power, or will grounding it act like pressing the power switch? (The other contacts are labeled GND, REC, GND.)

If those holes are the contacts I need, what size header will fit them?

Is there a better way to do this?

Have you thought about simply unsoldering the current one and either replacing it with another, or wiring it to a new location?

Another option is to bypass the power switch and but something like this to have an more external switch https://m.aliexpress.com/item/32942058069.html ?