Thank you for your reply. I will try your technique (probably tomorrow). I guess I am a bit pessimistic about how long it will last though. It’s really quite a shame, that Xiaomi doesn’t make replacement parts for their most expensive machine widely available.