Replacing belt in a Sony Walkman (1990-1999)

How to replace the rubber belt in a Sony Walkman based on the WM-EX10/WM-FX10 models. This model line was produced from 1990 to 1999, all models have similar construction, use the same rubber belt and are opened in the same fashion. WM-EX19 is shown in the video. This video applies to many other models, the list below is incomplete. WM-EX10, WM-EX14, WM-EX16, WM-EX17, WM-EX18, WM-EX19, WM-EX21 WM-FX10, WM-FX16, WM-FX21, WM-FX22, WM-FX26, WM-FX28 WM-EX102, WM-EX104, WM-EX110, WM-EX112 WM-2051, WM-2061, WM-2055, WM-2065/F2065, WM-F2068 WM-EX30, WM-EX32, WM-EX35, WM-EX38 WM-FX36, WM-FX37, WM-FX39, WM-FX40, WM-FX42, WM-FX43, WM-FX45 WM-WX50 WM-FX101, WM-FX121, WM-FX141, WM-FX161 WM-EX162, WM-FX163 WM-FX401, WM-FX403, WM-FX405, WM-FX407 WM-FX301, WM-EX302, WM-FX303, WM-FX305, WM-FX309, WM-EX312, WM-FX313, WM-FX315 WM-FX221, WM-FX421, WM-FX423, WM-FX425 WM-FX211, WM-FX213, WM-FX413, WM-FX415