Too bad. A magnitude 10 would have been better.
It might have shaken some sense into the bastards.
A 7.2 in a region of structures with little or no reinforcement is more like a 9 in a developed area with earthquake damage mitigation in place.
This may well have leveled the structures in the area.