Hi bluehash,
I would like to add few more dev tools that mikroE provide:
A big development board with full support for Stellaris family.
http://www.mikroe.com/easymx-pro/stellaris/
Recently mikroE announced a MCU card with LM4F chip.
Standalone fast programmer and debugger:
http://www.mikroe.com/mikroprog/stellaris/
Both tools are supported by CCS, mikroE compilers, keil and IAR.
Marko