Sorry for the newby question, but I see Crucial and Mushkin mentioned throughout the posts. Are these names of manufacturers, or suppliers, or?? Thanks, David R