My laptop battery and full top case (potentially including the touch bar - I'm not sure) were replaced when the keyboard was replaced under the keyboard service

My laptop battery and full top case (potentially including the touch bar - I'm not sure) were replaced when the keyboard was replaced under the keyboard service program: https://support.apple.com/keyboard-service-program-for-mac-notebooks https://support.apple.com/keyboard-service-program-for-mac-n... Go into an Apple store and say a few of your keys are double-pressing sometimes.