Where to buy a RPI4?

https://rpilocator.com/ helps to find dealers. I would advice to use 2Gigs RAM for syncosync as we will move soon to 64bit (but maybe we keep on with 32bits also).