The miniature toys are amazing, I have always wished to have some ever since I was a kid, once made of metal rather than the cheap ones which are very easy to break. I even spend quite some time on YouTube watching restorations of all these vintage toys.
It is great that you got some bank from them despite not fully being aware of their value at first. They are amazing to have.

Probably the buyer will restore them using the exact paint and parts and they will last another couple decades.