We're not going to dig into the Type-C options here, though if they begin ... it's $10,000 annually, and $0.05 per HDMI port ...