About the Tobii 4C, as you mentioned it, the driver that I was trying to use for Linux, does it work for Tobii 4c? I saw that it works for tobii IS4, which is not for sale. But is the Tobii 4c the official version of tobii IS4? If so, I would purchase that one. I really need to integrate this for Linux, since I have already done the works with windows and I want some improvements