Here is the first I see in your list but there are quite a number of them from $400 into the multi thousand price. I understand the scarcity of the backup chips but not the regular issue chips that are just notched.

http://www.all-chips.com/ChipDetail.cfm?ChipID=11595