USB C Video running at 30 Hz in 4K

This is not normal, it should support 4K 60Hz output. Can you try swapping out the dock to test it? If it still has issues, you can contact our customer service for assistance.