For any finite set of axioms K of ZFC, ZFC proves "K has a model", via the reflection principle as you note. However, ZFC does not prove "for any finite set of axioms K of ZFC, K has a model". The distinction between these two is what prevents ZFC from proving that ZFC has a model.