Didn't realize that, but no surprise I guess. He had one other one about 2 years ago ($9500 at that time if I remember correctly), which also didn't last long. I have a prewar GH in .404 and would love to have an original Mauser, but this just wasn't the right timing for me.
Maybe another one will pop up in about 2 years...........