Good luck to the seller on that one! I can't remember how many 720s were made, but it was a very small number and I don't think any are still in service. But you never know, maybe there is a collector somewhere who is interested in it.
Maybe someone would be interested in my 1121 Jet Commander manual set? Probably about as useful.