Has anyone used the Keyboard Service Program for MacBooks? I have a 13'″ MBP 2017 and it's "covered" until 2023. Do they actually bother to replace the key/s or just simply give you a new model? I'm wondering because I had some problems with iPhones in the past and I always got a replacement device (they were more expensive than my current MBP lol)