10850k stock cooler is a model available in the market.
When setting up Windows and applications, they won't generate much heat. These two should handle the workload well.