...the taxpayers of the City of Austin owe a total of $9,000.
Whereas the officials who passed and enforced the illegal restrictions should be the ones to pay.
oops...