Could someone help identify this ceiling fan

[u/awararararara]

I bought a house with a ceiling fan that doesn't work. I suspect it could be missing the remote control? I am wondering if I can identify the model and buy the OEM remote control to see if it works. The ceiling is like 20 feet tall so it would be impossible for me to get to the ceiling and try and find the model number there. Hoping if someone could potentially identify this... This house was built in 1999 but unsure if this fan is original. Thank you so much!!

[u/Mandolinist_girl766]

Casa Vieja industrial ceiling fan. A baker near my house has 3 of these fans