Welcome from Northern WA. Sorry I can't help with your 712 question. Would probably just call CZ.
Glad you joined us.
Amen on match costs for 3 gun. 10 bucks to shoot the local match, 250 to 300 rounds to be fired if all are good hits, so bring 400. Ammo cost alone makes it a 5-600 dollar event. But still a lot of fun.
JW