Billable hours will win figuring it out but in theory, no because they can’t test it or use it.

Generally any machine that touches Supply chain Risk software cannot ship any software to DoD. AWS has separate clouds but software comes from same place.