I looked online the other day for an 8 GB Pi 4, and could not find any, including at Microcenter (which claims to show store availability). I also looked to see whether the Jetson Xavier AGX is available. This used to go for $700, but I didn't really need it then. Now that I could use it, it's selling for at least twice as much.