Some local guy is trying to sell one for $8500. Will these be hard to get? I know they are sold out now.