Not a proper update, so just I don't forget, I replaced the ariel switch illumination bulbs today, apparently low on warehouse stock as it took ages to get them.
84999-10410 2 off at a price of €11.36 each, not too bad price wise, AFAIK these are peculiar to the ariel switch, not being used...