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?