These boxes are well out of warranty so they need to go away. Steps required for this to happen:
[x] snapshot jobs moved off these hosts
[] mounts removed from snapshot hosts
[] web service moved to labstore1006,7
[] nfs mounts to stat1005,6 moved to labstore1006,7
[] incoming fetches of datasets moved to labstore1006,7
[] incoming pushes of datasets from other hosts moved to labstore1006,7
[] ezachte's cron jobs updated to use labstore1006,7 instead of dataset1001
[] get all mirror sites to switch over to labstore1006,7
[] service of dumps and pageviews via labstore1006,7 instead of labstore1003
[] turn off all cron jobs involving dataset1001, ms1001
[] remove all mention of dataset1001, ms1001 from rsync config files
[] Profit??
This may not be quite the complete list but it should be most items. Some of these items are also listed on this task: T168486
I have them here for my own bookkeeping.