It's certainly not too hard to understand everything there is to understand about the algebraic closure of Fp. Perhaps the reason this is unsatisfying as an example for founding intuition is because it doesn't really have a nice topological structure; it lacks anything like a natural metric. So here's an attempt to explain why what is in some sense the next simplest example puts you in a better situation, intuition-wise.
If you have some intuition about the p-adic numbers look and feel (for example, topologically), then you secretly have intuition for the t-adic topology on the complete local field K=Fp((1/t)). Now, as far as characteristic p fields go, this sort of puts you in the position of (in your parlance) a "preschooler" who knows about R but hasn't yet gotten to kindergarten to learn about C. Why is K like R? First, it is locally compact. Second, it is at least analogous to completing Fp(t), which is very much like Q with Fp[t] as the analogue of Z, at an "infinite" valuation, namely the degree or (1/t)-adic valuation, rather than a "finite" place like a prime polynomial in Fp[t]. (The (1/t)-adic valuation corresponds to the point at infinity on the projective line over F_p. Likewise, number theorists love to say, perhaps partly to annoy John Conway, that the real and complex absolute values on Q correspond to "archimedean primes" or "primes dividing infinity". This is actually a pretty lame analogy, though, since K=Fp((1/t)) looks a lot more like Fp((t)), say, than R or C looks like Q2.)
Unfortunately there are two extra difficulties in the characteristic p case. First, upon passing to the algebraic closure L of K we lose completeness. Second, we make an infinite field extension, unlike the degree 2 extension C/R. Thus, while L is an algebraically closed field of characteristic p, it bears little resemblance to R. In fact, it's a lot more like an algebraically closed field of characteristic 0 that is a bit scarier (at least to me) than C, namely Cp, or what you get when you complete the algebraic closure of Qp with respect to the topology coming from the unique extension of the p-adic valuation.
While this may seem bad, I think it's actually good, because one can really get a handle on some of the properties of Cp. [Note that as another answerer pointed out, Cp = C as a field, but not as a topological or valued field, which is really a more interesting structure to consider from the viewpoint of intuition anyway.]
For example of some similarities, miraculously Cp turns out to still be algebraically closed, and I believe the same proof goes through for L above. Another property L and Cp share is that in addition to "geometric" field extensions K'/K obtained by considering function fields of plane curves over Fp, there are also "stupider" extensions coming from extending the coefficient field. This is like passing to unramified extensions of p-adic fields, where one ramps up the residue field. (In fact, it's exactly the same thing.) Both L and Cp are complete valued fields with residue field the algebraic closure of Fp. (But the valuation is NOT discrete; it takes values in Q.) There are some dangerous bends to watch out for topologically, however. Some cursory googling tells me that Cp is not locally compact, although it is topologically separable.
In addition, positive characteristic inevitably brings along the problem of inseparable field extensions sitting side L. This is, of course, an aspect where L/K is unlike Cp/Qp. Notwithstanding such annoyances, I would argue that the picture sketched above actually does give an example of an algebraically closed field of characteristic p for which it is possible to have some real intuition.
As Robin as pointed out, for all primes $p$, $\mathbb{Q}_p$ is rigid, i.e., has no nontrivial automorphisms. It is sort of a coincidence that you ask, since I spent much of the last $12$ hours writing up some material on multiply complete fields which has applications here:
Theorem (Schmidt): Let $K$ be a field which is complete with respect to two inequivalent nontrivial norms (i.e., the two norms induce distinct nondiscrete topologies). Then $K$ is algebraically closed.
Corollary: Let $K$ be a field which is complete with respect to a nontrivial norm and not algebraically closed. Then every automorphism of $K$ is continuous with respect to the norm topology. (Proof: To say that $\sigma$ is a discontinuous automorphism is to say that the pulled back norm $\sigma^*|| \ ||: x \mapsto ||\sigma(x)||$ is inequivalent to $|| \ ||$. Thus Schmidt's theorem applies.
In particular this applies to show that $\mathbb{Q}_p$ and $\mathbb{R}$ are rigid, since every continuous automorphism is determined by its values on the dense subspace $\mathbb{Q}$, hence the identity is the only possibility. (It is possible to give a much more elementary proof of these facts, e.g. using the Ostrowski classification of absolute values on $\mathbb{Q}$.)
At the other extreme, each algebraically closed field $K$ has the largest conceivable automorphism group: $\# \operatorname{Aut}(K) = 2^{\# K}$: e.g. Theorem 80 of
http://alpha.math.uga.edu/~pete/FieldTheory.pdf.
There is a very nice theorem of Bjorn Poonen which is reminiscent, though does not directly answer, your other question. For any field $K$ whatsoever, and any $g \geq 3$, there exists a genus $g$ function field $K(C)$ over $K$ such that $\operatorname{Aut}(K(C)/K)$ is trivial. However there may be other automorphisms which do not fix $K$ pointwise.
There is also a sense in which for each $d \geq 3$, if you pick a degree $d$ polynomial $P$ with $\mathbb{Q}$-coefficients at random, then with probability $1$ it is irreducible and $\mathbb{Q}[t]/(P)$ is rigid. By Galois theory this happens whenever $P$ is irreducible with Galois group $S_d$, and by Hilbert Irreducibility the complement of this set is small: e.g. it is "thin" in the sense of Serre.
Addendum: Recall also Cassels' embedding theorem (J.W.S. Cassels, An embedding theorem for fields, Bull. Austral. Math. Soc. 14 (1976), 193-198): every finitely generated field of characteristic $0$ can be embedded in $\mathbb{Q}_p$ for infinitely many primes $p$. It would be nice to know some positive characteristic analogue that would allow us to deduce that a finitely generated field of positive characteristic can be embedded in a rigid field (so far as I know it is conceivable that every finitely generated field of positive characteristic can be embedded in some Laurent series field
$\mathbb{F}_q((t))$, but even if this is true it does not have the same consequence, since Laurent series fields certainly have nontrivial automorphisms).
Best Answer
If $F$ is a maximal proper subfield of a field $K$, then $K=F(x)$ for any $x\in K\setminus F$. Next, $x$ must be algebraic over $F$ (otherwise $F\subsetneq F(x^2)\subsetneq F(x)\subset K$). So $K$ is finite over $F$, and if $K$ is algebraically closed it is well known (cf. KConrad's comment) that $F$ is a real closed field and $K=F(\sqrt{-1})$.