I recently figured out that the proper power button replacement for a Garmin Edge 1030 Plus is the TS22-45-035-BK-160-SMT-TR from same sky (datasheet) for around 60 ct. Desoldering it is probably done best with a hotair gun. Replacement works here without issues.