Haven´t heard of Kraken, but I´m sure you´ll make a good investment in a DVB S2 capable receiver, those mentioned above will do a nice work to get those PBS channels
Here is the technical data for this receiver: ($120 dollars in Mexico)
Detalles
Media Player
Reproduce todos sus archivos multimedia, imágenes, música y vídeos en 1080p Full HD. El Kraken Turbo HD es compatible con casi cualquier tipo de archivo, incluyendo los más populares como MKV, XviD, AVI, X264, DivX, MPEG4, H264 FLV y muchos más.
ATSC Ready
El Kraken Turbo HD soporta sintonizadores ATSC con el cual podrás captar tv local en calidad 1080p. Basta con instalar el sintonizador y ya está listo para empezar a disfrutar locales HD y contenido SD.
Twin Tuner
El Kraken Turbo HD cuenta con 2 ranuras para sintonizadores. Con soporte para DVBS2 8PSK, ATSC, DVB-T e ISDB-T tiene soporte para casi cualquier tipo de señal.
USB 2,0
El Kraken Turbo HD tiene dobles conexiones USB 2.0, uno en el panel posterior y uno en el panel frontal con soporte para unidades FAT32 y NTFS.
Time Shift
Time shifting te permitirá grabar y pausar TV en vivo de ambos sintonizadores. No te pierdas ni un solo programa para grabar.
USB PVR
Con el El Kraken Turbo HD puede grabar su programación en una unidad flash USB o disco duro y verlas en un momento más conveniente. Soporta también grabación en NTFS puedes grabar programas en HD o SD de hasta 16 TB en un solo archivo.
WiFi Ready
El Kraken Turbo HD es Wi-Fi 802.11b/g/n 2,4 GHz compatible. Basta con instalar nuestro módulo y se puede conectar a cualquier red inalámbrica. Reproduce tu contenido favorito sin las molestias de los cables.
Ethernet
El Kraken Turbo HD tiene un 10/100 Mbps Ethernet MAC que le permitirá conectarse a cualquier red cableada y disfrutar de cualquiera de sus medios digitales
1080p Full HD
Con El Kraken Turbo HD se puede disfrutar de toda la programación y los medios digitales en Full HD 1080p. Eso incluye TV en vivo, programación grabada y los medios digitales.
Control universal
El Kraken Turbo HD viene con un completo control remoto universal programable. Lo que le permite controlar todos los dispositivos disponibles.
Micro SD tarjeta
Sólo tienes que conectar tu tarjeta Micro SD y disfrutar de las fotos, música y vídeos que ha grabado con su teléfono, cámara o cualquier otro dispositivo digital.
Hardware:
Full HD 1080P H.264 solution
Embedded Dual Core High performance 400Mhz 32bit CPU
128Mb 16 bit DDRII 800 SDRAM
MPEG-2 MP@HL video decoder
AVC/H.264 HP@L4.1 video decoder
MPEG4 ASP supported
JPEG decoding accelerator
Support 4 Video VDAC, can output YPbPr and CVBS simultaneously
Build-in HDMI with HDCP
Support full HD output
MPEG-1 layers I, II and PCM down-mixing
IEC958 S/PDIF digital output
Digital mute control and volume adjustment
Support Dolby down-mixed 2 channel
Support 2 channel HE-AAC V1
Build-in 2 channel Audio DAC
Dual USB 2.0 host interface
10/100 Mbps Ethernet MAC with RMII
Serial RS-232 Interface
Universal Remote
650mA LNB Output
IR extender Output
MicroSD Card Slot
Built in bracket for Wall Mountable solution
Software:
1080P HD Multimedia Player (MKV, XVID, AVI, X264, DivX, MPEG4, H264, FLV, etc...)
MP3 Player and Picture Viewer
Time Shift
WiFi Ready
Twin Tuner Ready
ATSC Ready
USB PVR w/ NTFS Support
External NTFS USB HDD Compatible
Video Upscaling to 1080P
Channel Auto Tune
PVR Timer Scheduler
Multi Scan Support
DVBS2 Tuner Support
Blinscan support
Disecq 1.0, 1.1 and 1.2 Support
EPG Support
Favorite list support
Subtitle support