I am having difficulty finding the appropriate tuner... Can anyone tell me which one to use? BTW, has anyone else noticed that this distro is particularly slow to boot?