Yes, you have described the complete way to replace that belt.
And, yes, i have done them a lot.
And no, there ain't any quick way to do it, that i know of!
As a last resort, on one of my own mowers, i had to cut the section of the under-side belt guard, and man-handle it from around the crankshaft, to replace it. I then had to make a tin strip to fasten it back together. This was because, no maatter how hot i got the blade mounting part, it would not come off! I used up a lot of acetylene and oxygen heating that part, to no avail! Compressed air is lots cheaper! RJ