Does anyone know what the agency price on these is? The street prices I’ve seen (~$800) aren’t going to lend themselves very well to municipal contracts and budgets. Glock has a steep mark up for their consumer market, is Walther following a similar pricing format?