How do you know it's running lean, and what driving conditions is it running lean under (light load, WOT, etc)?
Did you measure it using a wideband O2 ($$$) or regular one?
How did they measure the A/F ratio? (in the collector, tailpipe, etc..)
Is your car pinging/detonating in this lean...