sounds like hes stock, so copper is not really needed. copper only last 15,000 miles tops. so if you dont mind a tune up every year the 3800 loves the copper plugs.

copper core plugs are also silly cheap, less then $2 a plug most of the time.