Overclocking
Thanks to an unlocked multiplier (the "K" suffix in 12700K), overclocking is really easy. You can just adjust the multiplier freely in your motherboard BIOS or the XTU overclocking software.
The highest stable overclock was 5.0 GHz, at pretty high voltage of 1.4 V. Going higher was not possible, not with AIO, nor 1.5 V or more.
While 5.0 GHz matches the stock single-core maximum boost, given the results and considering the massive increase in power consumption I don't think it's worth overclocking the 12700K manually.