Thank you very much for the information. I guess I will wait and see, and perhaps replace the tree in the fall.
My tree is about 19 years old. I happened to read online this spring that they only stay dwarf if you prune them. Oh dear - I didn't know that. So...