Performance of mixing colors vs mixing colored shaders Is there a performance difference between these two setups?

I imagine on a material this simple, there's not going to be much of a difference. But on a complex material, it could. If you had a choice between a simple mask between two different complex shaders, or a bunch of masks between different properties of the same shader, is there an advantage?
If there is, it's a pretty subtle difference.

I rendered 5 frames without the mix shader setup and 5 frames for the mixRGB node setup, and averaged the times for each. The results:

Mix Shader: 23.021
Mix RGB: 22.78