For anyone else who's wondering: the real number seems to be around $638 billion# (public primary and secondary education). The more you know. For fun I did a small Fermi estimate and got $400 billion, such a useful tool.

# http://nces.ed.gov/fastfacts/display.asp?id=66