I don’t know what to say to be honest as with this world wide chip issue, odd things are happening regarding spec on many brands. Without sounding horrible, I’d question the brand knowledge on almost every sales rep I’ve ever met, so your dealer could well be wrong, is it a risk worth taking, absolutely not if it’s a big deal for the driver. My understanding is that it is included.
The reps at the mini place I’ve ordered from are very courteous and treated me like a normal person and customer ( I know, I know), I’ve emailed my contact to ask the question regarding this issue and will post reply when get it.
Would be a.shame if you liked it but didn’t get ot through misinformation.