the .gifs are still pretty small.
PNG with the same number of colors will almost always be smaller than GIF (assuming it's not like a 1 pixel image, and also that your PNG compressor doesn't suck. Look up 'optipng' or 'pngcrush' for apps which will reduce the size of your PNG without reducing the quality)
for example, your userbars:
CODE 4738 Âuserbar_frank.gif
4286 Âuserbar_frank.png
1170 Âuserbar_lode.gif
699 Âuserbar_lode.png
2991 Âuserbar_zoogz.gif
2807 Âuserbar_zoogz.png