You know they all use the same Main board & WiFi modules in all of these Chinese produced smart switches? CTEC switches appear to be made by Lanbon, and seem to range from $2.5-$35 US each.
One example: https://www.alibaba.com/product-detail/Wifi-smart-home-smart-switch-remote_60403828636.html
They're sold as certified for Australian market.
Looks like they manufacture for Ctec but don’t think you can get from them. The other one I am not sure but you can please give it a try to see if your electrician will be happy to install for you.