I'm an ultra-recreational pilot and really don't need the additional range right now. Given the costs of an extender and clean install kit, I'm trying to stick with OEM for the time being.
I appreciate the suggestions!
Still holding out for the possibility someone has a spare that I can buy.