This may be a mute point as they upgraded to 15.4 with only 1 issue. Grub.cfg still says 15.3 though 15.4 boots.