Mission successful! Case modified, fan installed. With everything bolted down, it hovers around 50°C with full load. Pretty much exactly what I wanted and hoped for.

Raspberry Pi 4 with Noctua fan on case