Yokum (one of the absolute best out there) quotes $5K as a barebones starter package. I'm sure he'd have helped us avoid overbuilding on the IP in addition to the overbuilding on the corporate stuff.
http://www.startupcompanylawyer.com/faqs/
I refuse to believe you could get half as good as Yokum for twice the price.