Just realised that for a lot of domestic flights from October onwards, booking on Thai Airways website you can get tickets slightly cheaper than on Thai Smile even though the flights are still operated by WE