From my limited knowledge, an 87 PRS is a collector item and you don't want to play it considering the ridiclous price you'll end up paying. $4k is not unusual. BaM will tell you more, and might be a good aplce to advertise it for your friend / contact.
It's a little like finding a '59 sunburst...