My dome is controlled by LesveDome and very successfully too.
The major problem, from my POV, is that LesveDome is Windoze only and I want to move to a Linux-based TCS. The only thing stopping me is the lack of an INDI driver for the Velleman K8055 controller board. If anyone knows of one, please let me know.