Hello Remy,
There is no need for a setup disk for that ActivBoard, they will only need to install the latest version of ActivInspire which includes the driver to connect and interact with the board. The latest version of the software and driver is located in the Support tab > Download ActivInspire > select your language and follow the prompts from there. (case# 323451)
Hope this helps!