Thanks for the tip. I'd not heard of this before and it looks really useful and not just for this. Until now I've been doing a lot of legwork flitting between chrome and vlc