to go along with this, if you wanna "ball on a budget" , check out https://www.reddit.com/r/hardwareswap/
I've bought/sold over $3k worth of stuff there. Probably the best place to find DDR4 RAM currently.
I own a Stary board currently, and are getting a Jed Board and modified pulse echo in the coming months. Are you a part of the subreddit/discord ?
https://www.reddit.com/r/ElectricSkateboarding/