Like Jocko, I'd assume they've put on whatever they had on the shelf, I wouldn't be overly worried, they're all legal and the car’s not being used on a race track (I assume, lol), I've been driving Jazzes for 15 years, sometimes on nearly end of life, budget, mixed brand tyres without 'losing it'..
If it's a serious concern to you, ask them to change the Arrowspeed for a matching Michelin, if they refuse, then take it elsewhere & pay to have one fitted.