I don't know the model #, however they are commonly known as "Baby Gearless Machines" and they are roped 2:1. Most elevator companies used them for moderate speed and medium rise where a regular size machine would be too costly.
I have never seen an overhead gear-less traction machine this small either, I did note the deflector sheave on the counterweight side, are there compensating sheaves on both the top of the cab and counterweight? Or just the counterweight? With the hoist ropes anchored at the top.
This building was a office complex first with the top 5 floors being a separate entity served by the traction motor set you see here. It never eventuated as an office and became a hotel instead. Lift set 2 (these ones) served only G 1 6 7 8 9 Lift set 1 served G 1 2 3 4 5 So what I'm saying is, you're very nearly correct however these were used only due to the previous situation :)