Mixing dino and syth is fine.
What do you think is in "Semi-Synth" oil??
In fact if you are using a "Semi" synth to save money over a FULL Synth try this.
With "Semi Synth" you never really know how MUCH synth is in there...is it 50% Synth, is it 10% Synth?? Is it 25% Synth??
So buy a jug of dino oil and a jug of FULL Synthetic (in the long run it doesn't cost you any more) and mix them 50/50 that way you know it's a TRUE "Semi-Synth".