**Question 1**. Are there any consistency results in set theory (or  in mathematics) that can be proved using nonstandard models of ZFC but not using transitive models of ZFC?

**Question 2.**  Are there any consistency results in set theory (or  in mathematics) that their proof requires the use of uncountable models of ZFC?