So... asking on behalf of a friend ;-)... my local dealer stocks both Arduino and Genuino brand boards. Is this unusual or about to change?

I feel like a curtain of innocence has been torn away for me. Ignorance of the politics in the Arduino scene was bliss.