Weiß jetzt nicht wie du auf diese Varianten kommst (Wahrscheinlich durch die Verlinkungen)
Grundsätzlich gilt: Ein Smartcardleser (direkter Karteneinschub) kann auch mit einer HD+ Karte umgehen
CA-Kartenleser ist für eine PayTV-Smartcad und SD-Kartenleser ist für eine SD-Speicherkarte, wie man sie bei SmartPhones, Cameras u.ä. auch als Speichermedium verwendet.
Die neueren 4k Receiver sind ARM Boxen.
Für die AX HD60 hatte ich dir einen Link genannt, da kannst du genau schauen was die Festplatte zusätzlich kostet (je nach Größe), aber sowas hat man oft auch zu Hause "rum liegen".
Die Box gibt es auch als Combo Box also 1 x Sat + 1 x Kabel/ Antenne oder als Sat Twin