Ah, someone with the same taste :-)
So, I took the plunge and switched to the Android version of Kodi - and wow, it works !
The main reason for wanting to use the OpenElec version was that I thought it would be faster and more reliable, and had that all important Samba share that I push my TV...