I'd say a CMstorm or leopold in Red switches with o rings should work well.
Or, wait for WASD to come out with reds, though it may be a bit overbudget, depending on what he finalizes the prices to.
Also, keep in mind that "top-out" still makes a noise.