I'm worried that in the attached sparse documentation it is mentioned that customer serviceable units are only as power adapter, base cover assembly, memory module, memory module bracket, solid state drive and power cord. Isn't battery sort of not user replaceable?