i actually bid in that auction, but i was at work when it finished so i was unable to place anymore.
i want to find a couple WWII receivers so that if i get this problem again, i can have a buck-up ready. if anyone can find a place where they are selling some at a good price i would appreciate it.