Can you just turn off the bold? '$' looks fine in 9pt Monaco when it's not bold. Really, I doubt any 9pt font is going to look good bold (at least until screen DPIs increase by a lot).