We look at C*-dynamical systems and study different notions of finiteness in crossed products by interpreting dynamical phenomena K-theoretically, that is, by looking at the induced actions on K-theory. We discuss the Connes Embedding problem in the C*-setting as formulated by Blackadar and Kirchberg: is every separable stably finite algebra MF (i.e. embeddable into an ultraproduct of the universal UHF algebra)? Borrowing lifting and uniqueness results from the classification literature we answer this question in the affirmative for certain crossed products of nuclear algebras by free groups. In the process we uncover a large class of discrete groups whose reduced group C*-algebras admit norm microstates. This is joint work with Chris Schafhauser.