A year ago February at the Franklin TN (south of Nashville) gun show, a seller had an excellent #5 on his table. I believe that even the magazine # matched. It might have been as pristine as your guys' #5s.
His list price might have been $550 or about $600. I have no idea whether he received any offer etc.
Sometimes "Joesalter.com" (in NH) has a very good or excellent. My #5 from him in April '09 is at least a very good.