  We clarify the higher-dimensional origin of a class of dyonic gaugings of
$D=4$ ${\cal N}=8$ supergravity recently discovered, when the gauge group is
chosen to be ISO(7). This dyonically-gauged maximal supergravity arises from
consistent truncation of massive IIA supergravity on $S^6$, and its magnetic
coupling constant descends directly from the Romans mass. The critical points
of the supergravity uplift to new AdS$_4$ massive type IIA vacua. We identify
the corresponding CFT$_3$ duals as super-Chern-Simons-matter theories with
simple gauge group SU$(N)$, with level $k$ given by the Romans mass. In
particular, we find a critical point that uplifts to the first explicit ${\cal
N}=2$ AdS$_4$ massive IIA background. We compute its free energy and that of
the candidate dual Chern-Simons theory by localisation to a solvable matrix
model, and find perfect agreement. This provides the first AdS$_4$/CFT$_3$
precision match in massive type IIA string theory.
