Yes, this is correct.
The species was found several times in Belgium, but it current status seems unclear. If you find a population in your garden, this should be published. However, it is plausible that it came with the Lavendula though. It is often found in plant nurseries.
Tobias