Perfect. Thank you. I have pointed them towards DSM 7 - Plex Media Server - Release Info & Migration instructions - #6 by ChuckPa which, hopefully, they can follow even though they’re already on DSM 7 (they have NOT clicked “Repair” on PMS in Package Center…thank goodness! 
).
