I have the same issue and the same printer (Vertex). Velleman is one of your customers, right? You gave them a customised version of Repetier Host, you should know!
The version of Repetier I'm using is labelled as vertex-m1-v1.1-h2 (for two heads) and it's Marlin based compiled using Arduino. The file was downloaded from here.
Like Mitch, as this is a customised version of Repetier Host, I was hoping there would be an easy way to export the printer settings into Repetier Server.
There certainly should be - it looks a bit odd not to link up your products. What the best way we can do it and ensure we get the customised settings for the Vertex?