To summarize, there are two separate but related problems (both of which I noticed and commented on in the original post): the Raspberry Pi 4 runs relatively hot, and the Official Raspberry Pi 4 Case ...