The examples you used (if they exist) would normally be RAF exchanges. The RN exchanges have, historically, been with the USN & USMC (F14, F18, AV8B). No doubt the F35B will be another exchange in the future......same jet as home, just more sunny but more rule-bound.