Pretty sure doxxing a government employee has a higher penalty than 5K. And considering he's not only done it before, but also has a history of both contempt of court, and violating gag orders: they should have started significantly higher than trumps weekly mcdonalds run.
Edit: to be clear; I'm not actually disagreeing with you. They need to start somewhere, but that somewhere is designed to be a punishment for the poor people in the US. They needed to take both his "wealth", and his flagrant and obvious disregard for standing orders into account. Punishments are only corrective when they are actually damaging. You have to be shamed, inconvenienced, or otherwise harmed by the act before it works.
If they send a bailiff into trump tower and start stripping out gold plated fixtures to pay the 5K, and televised the act: that would work.