My Supertech valvetrain is noticeably louder than OEM. Most aftermarket valve springs have about twice the seat pressure as OEM, and titanium retainers are much lighter so I would think this is normal.
What all did he have done at the machine shop? New guides, resurface seats, valvetrain brand?