XPS 8940, upgrading i5-11400 to i7-11700?

The i7-11700 has the same TDP 65w as the i5-11400.  Technically, it does not require to upgrade the cooler.  However, many XPS 8940 owners did not like the pancake style cooler came with the machine and have upgraded their machines with a tower cooler like the VWD01.  A new OEM CPU cooler can be had for less than $20 USD with free shipping and free return at the big auction site, https://www.ebay.com/sch/i.html?_from=R40&_trksid=p4432023.m570.l1312&_nkw=xps+8940+cpu+cooler&_sacat=0.