Hi @mono-developer,
Thanks for your patience, hopefully we should have this workaround implemented soon in a forthcoming release for the Tobii Interaction Software.
As for altering the IR Frequency, I am afraid this is not something that for the time being can be modified or we intend to open for modification in the near future.