Hong Kong budgeted HK$ 948 million for a comparable TETRA network in 2001. That's $120 million nominal and $210 million adjusted for inflation. Compared to that

Hong Kong budgeted HK$ 948 million for a comparable TETRA network in 2001. That's $120 million nominal and $210 million adjusted for inflation. Compared to that, $500 million doesn't sound entirely unreasonable. It's hard to find more recent numbers, because these days everyone is transitioning their government radio networks to use commercial infrastructure.