[Hawi]

Aufnehmen vom Sat geht sicher. Das Audiosignal ist bereits komprimiert, also MP3-kompatibel. Um die Datenrate / Kompression brauchst du dich nicht zu kümmern, mehr als der Sender hergibt kannst du nicht erreichen.
Um die Files für einen MP3-Player abspielbar zu machen, sind bestenfalls kosmetische Änderungen notwendig (unnötige Signal-Bestandteile entfernen). In der Regel sollte es aber funktionieren, wenn man die Dateien einfach auf MP3 umbenennt.
Die von dir erwähnte Karte habe ich, sie funktioniert problemlos. Wenn du einmal alles ausprobiert hast, würde ich allerdings zur Vollversion von DVBViewer (mit viel größerem Funktionsumfang) raten, die paar Euro zahlen sich aus. Wenn du einen Sat-Receiver mit Aufnahmefunktion hast, reicht das natürlich auch, dann sparst du dir die zusätzliche Sat-Karte für den PC.