Thanks for the post and the suggestions from other members on alternatives to pinning.
Another front loader devotee here. We bought our first one in 1998 and would probably still have it had it not been for our March floods in 2010. Of course, we bought another front loader.