The city manager of a small city in Texas gets paid around that much and that's taxpayer money.
Now what collegiate football coaches are paid, that's pretty crazy.