Should I follow the standard procedure--edit sources.list to include the DVD drive (if it's not there already), then 'apt-get upgrade' followed by 'apt-get full-upgrade'?