SOLVED: I managed to find a replacement notification-LED at AliExpress. As a new customer, you automatically get a US $ 4.00 coupon, so the part currently will only run you US $ 3.95. Note that international shipping may take a while though, depending on where you're located. In my case, it's an estimated 23 days (!) to Germany and no tracking... oh well. Trying my luck anyway. Can't post the link, as my comment will get flagged as "inappropriate" and deleted immediately for whatever reason. But I trust, you will find it. Cheers