I'd think Red Hat would be impacted by that happening. Not all shops would pay Red Hat, but certainly a percentage would. Red Hat made no indication of such things happening in the past few months nor impacting their immediate and near future in their latest earnings report.