Alright, after a weekend of tinkering with Vodafone Spain's IPTV service, here's a step by step guide on how to watch it using VLC: https://florianjensen.com/2020/02/04/accessing-vodafone-espana-iptv-via-vlc/