I think the question might be, who has them period. I would think no one.
Bob Orme had at one point posted scans of these higher denomination jetons but if I recall, he cashed them in.
Like you, I'm missing those and also one of the hundreds. I think I can live without the $500 and the $1000
From what I understand, there has never been a redemption period posted for these.
Though not likely, they could come back.