Oh, yeah, I probably could have done it so that the markup from the usergroup manager was preserved. Try going to Plugins & Products > Plugin Manager, and find "Set username markup from profile field" and click on it. Then replace the code with this:
Code:
if (is_member_of($user, 9) && !empty($user['field5']))
{
$user[musername] = '<span style="color:'.$user['field5'].'">'.$user[musername].'</span>';
}
and press Save, and see how that looks.