Jerry V wrote
Sandpaper and
a propane torch are then used to polish off the rounded edge. Works
just
fine for me.

What does the torch accomplish? (I have heard of acetone to soften and
polish.)

bob