“Has this model (Dell Inspiron 15 3530 13th gen i5) been discontinued? Is the Dell 15250 the newer version that replaces the 3530 model?”