pic: Main drive mount

Here is Luis, assembling the main drive assembly.

That’s looking shweeeet. I was wondering, what is that red thing mounted right below the AM logo on the gearbox that he’s not working on? Is that an encoder or the gear tooth sensor?

looks like a shaft encoder to me