Since my FloppyDTV S2 died due to lightning damage ( ), I need to get a new DVB-S2 card for MediaPortal. Used FloppyDTVs or FireDTVs seem to be hard to get, so I wonder what other hardware is working flawlessly with MediaPortal? Since I need a CI Slot, my only options seem to be TechnoTrend S2-3200 HDTV-S2 CI and TerraTec Cinergy S2 CI. I would get the TechnoTrend S2-3200, since I vaguely remember some members using it without a problem in MediaPortal.