I've had a similar issue, although wasn't during Sat Nav. Just a software blip i guess. It would be too hard to recreate if it went back to the dealership, so I just forgot about it.
If you do get more problems though, and they can be recreated, then by all means, get it back into the dealership and have it sorted.