Hello Is anyone using a good dvb player for linux, in particular puppy linux but anything would be interesting. Thanks number77