Now, flip the mower over, so that the wheels are still on the ground, but the gauge roller is up the air. Push the mower around "a bunch". I push it on the street, up and down my short town block - probably 500-600 feet, or a couple of hundred meters. It should be difficult to push at first, but not impossible, but become progressively easier. The sound will change, too. I don't have a good photo of the pushing part of the operation.
Then, you can wash or wipe off the grit, and return the reel drive to the correct direction by removing the wheels, flipping the ratchet pawls back over, and putting the pinions back on the proper sides. A dab of grease on the gear teeth - I like the black moly stuff, but use what you have, some being better than none - before you bolt the wheels back on is a good idea.
Unfortunately, I managed to snap the "ears" off not one but two of the bed knife adjuster screws in the process, so I'll need to either cut new straight blade drive slots with a Dremel cutoff wheel or hacksaw blade, or replace them with (extra fine pitch) new screws (still TBD).