County asks judge for ruling: Does 2011 Red Rock agreement still stand?