Glad your friend is okay so far, I'd let him know that if he's comfortable with it, to maybe lower some of the bios cpu settings (and maybe the ram, especially if xmp is enabled) for now rather than updating the bios until we know more as to the effectiveness of intel's "fix". Meanwhile, at this point, I wouldn't worry too much about your 4070 Super unless you're seeing some hotspots over 80-85c. If you are, you may want to repaste and/or undervolt your gpu until you can do so or find someone who can.
7800x3D may become a GOAT for AMD (depending on if there is a 9800x3D and if so, how it performs) since the rollout of Zen 5 is not good compared to Zen 4. Right now the 7800x3D is low in inventory for new and getting a bit competitive on the used market. If you want to get one, I'd get one either ASAP or wait until either end of year or Q1 2025 to see how the market is for it since you can always find a used one, but the price may shift massively up or down depending on Zen 5 news.