Replaced the stock 10mm thick fan with a 25mm thick Noctua today, pretty straightforward job.
It's a good idea to ask TM support for a replacement fan first, as you can use that to make a custom adapter for the Noctua and use the included support plate with dual sided tape for easier and more secure installation.

Made a custom adapter, in case the Noctua ever needs replacing. Unlikely.

Fan installed in a more efficient location.

Tight, but it fits!