Argon One case fan is barely spinning

I had the Argon case fan working with the integration by Misiu and the Active Cooling addon. However I spent some time without being close to my Raspberry Pi running HA and wasn’t aware that the fan stopped working because of the GPIO issue since 2022.6. I surfed around and found they released a fix which I did, reinstalled the Active Cooling addon. But the set_fan_speed service is not showing anymore, and the sensor is showing that the fan speed is at 100% despite it clearly not running. My Pi is at around 42 degrees which shouldn’t happen if the fan was working. Any workarounds?