Good lord brother! You are in the right place.
No need for Alibaba. Not at all. With a $5K budget, you can certainly get into other customs we have on tap here. I’d hit up
@justincarothers as he is a great dude to deal with, and he can definitely set you up with the chips, the customization option, and the price will be roughly under $5000 for 10K chips.