Libreelec 12.0.2 released on the 22nd of January now includes a PWM gpio fan overlay. The Raspberry Tools addon is no longer required.
To get it working with a Pi4 and a 52pi Ice Tower fan with red, black and blue wires I added...
...To config.txt.
Instructions are on this page regarding editing the config.txt file