A cylinder head's valve guide diameter is specified at 0.025" (6.35 mm) plus or minus 0.0005" (0.0127 mm). A guide measures at 0.0252" (6.4008 mm). Tech A says the guide must be repaired before returning the cylinder head to service. Tech B says this amount of wear will cause no problem as long as new valve stem seals are installed. Who is correct?