I’ve not, sorry. It’s a bit out of date this guide now though, with newer versions of EyeTV and VLC available, so it’s possible it now no longer works, or at least may need different options.

For example, it seems that the VLC plugin for EyeTV is now included with EyeTV and not a separate download.