Reddit user u/asaggynoodle made a good video showing how hot the VRMs during load of CPU and both the CPU and GPU. Looks to me like the chokes are heated more by mosfets via the PCB than by their own operation, so hopefully dealing with the mosfet heat will mean the chokes stay relatively cool.