We have a planet nine; it's called Pluto! Planet X is the unknown one. Doesn't that make more sense?
On second thoughts if I find it I'm going to call,it Pluto so then we'll have a dwarf planet Pluto and a proper genuine full size planet Pluto too.
Is a pup still not a dog? Pluto will always be a planet in my books!
Or to be more technically correct is a small dog still not a dog? Don't want anyone thinking of seal pups. You just never know in this day and age.
Happy hunting!