I'm getting a batch of 4.1 based devices produced, but the 4.7uH I normally use (BCL322515RT-4R7M-D) is out of stock everywhere. Can anyone recommend a known good replacement?