Cherry MX Red vs MX Silent Red: Are there any differences?