[Carla]

The taskbars are easy to modify if you are making a theme, you just have to have the icons you want, and they obviously have to be the correct size and format. I did different taskbar icons for one of my themes when I had my Pre, wasn't hard. If he did install a theme, that is entirely possible. Find out if he did the theme install.