Has anyone written code to read the RPM from a computer fan. I think they use a hall sensor but I'm not sure.