Jak jest na gwarancji i był w serwisie to aktualizacja do najnowszej wersji powinna się odbyć niejako przy okazji. Chyba, że serwisantowi akurat się zapomniało.
Można też go oddać tylko w celu aktualizacji (jest to objęte gwarancją). Inna sprawa, że traktują to jak każdą inną naprawę, czyli od ręki nie zrobią chociaż cały proces trwa pewnie 5min.