Hard drives are considered a user-serviceable component, so the aftermarket SSD is fine. It's the optibay drive which won't fly if he ever needs to receive service. The easy fix for that is to remove the optibay, and re-install the optical drive before service before bringing it anywhere for repair.