Where to get new Airbox lid for Donaldson filter setup on Aerocharger Turbo??

Tidying up a few things on my buddies Turbo 900 so he can sell it, and noticed the Airbox lid has a small piece missing from it. Its the Donaldson filter setup that’s included with the Aerocharger turbo system, but I have no idea where to source this part!

I called Aerocharger and left a message……anyone else have any ideas?