The first time I read and replied to your post, the part about not redistributing the default from BGP didn’t sink in. Pretty important thing to miss @_@.
Interesting, since these IP’s are static and stable, I could just add a static route for it with a lower weight and redistribute that.