Examples of large exotic R4s can be constructed using the fact that compact 4-manifolds can often be split as a topological sum (by Freedman's work), but cannot be split as a smooth sum (by Donaldson's work).
showed that there is a maximal exotic R4, into which all other R4s can be smoothly embedded as open subsets.