Shelah's creature forcing is a very powerful method, with wide range of applications. The method also has some applications in ZFC, let's quote a few of them that I am aware of:

(1) In [A partition theorem](https://arxiv.org/abs/math/0003163) Shelah proves a very general infinitary Ramsey theorem in ZFC, which is parallel to the Galvin Prikry theorem and the Carlson-Sympson theorem. 

(2) In [Partition theorems from creatures and idempotent ultrafilters](https://arxiv.org/abs/1005.2803), creature forcing is used to prove some Ramsey type theorems. As an application of their general method, new proof of Carlson-Sympson theorem is given. See also [Creature forcing and topological Ramsey spaces
](https://arxiv.org/abs/1509.06402)

(3) In [Ramsey theorems for product of finite sets with submeasures](http://shelah.logic.at/files/952.pdf) creature forcing is used to prove  a parametrized partition theorem on products of finite sets
equipped with submeasures. It improves the results of DiPrisco, Llopis,
and Todorcevic.

>**Question 1.** What other ZFC examples are available whose proofs is given by creature forcing?

>**Question 2.** Are there any applications of creature forcing in proving ZFC results, beyond those in Ramsey type theorems?