I've also posted this question on MathSE. I'm posting it here in hopes of a more comprehensive answer. The question is inspired by the following:

The applications mentioned are usually pretty complicated (except for Ax-Grothendieck, but it seems to be a rare occurrence). My question is; (also omitting these examples) are there easy "applications of model theory". For example, can we use Morley's categorecity theorem to determine a class of structures of interest "outside of model theory" has only unique models in higher cardinalities, where the actual proof of the fact is fairly complicated. I know that this works for $ACF_0$ for example, but it seems this can be established with the same amount of effort (i.e. proving Morley's theorem would be the same level of difficulty)

Also are there example of nice categorizations: For example (this may be false but something in the spirit of) "omega-stable countable groups have a nice classification as products of some class of groups".

To sum up: I'm looking for "simple" applications that follow from basic results in, say Marker's text on Model Theory for example.