They probably cost $1500 max second hand. I wonder what a new set would cost. Also considering how old they are, I wonder how much they're strayed from factory measurements/specs....
Try having to buy 17" rims.... Even the used jap ones are over 2.5K for a set. Alternatively you can get rotas for about a grand brand new.