Hi Ian, Your not a pain, this is a discussion forum, if you need help post -- if you can give help post. Just join us anyways!
Can't really know if you chid is overpotted, until you actually unpack it from the pot itself.
How many bulbs do you have?
When you say dormant - do you meen when the blooming is done? Cos' that would be a good idea
Just curious - what's the media now?
It's best for any 'chid to be repotted while in growth, whether it be from new bulbs or just new root growth in general.
I like to kinda squeeze my orchids inside their pots, I allow about 30% of empty room. This is good for atlease 1 year and less chance for any rot to start up.