Thank you Zhao!

Are you sure they were 9mm without wings? Currently as it stands the only Incisitermes species around those areas are I. minor and I. banksi, this resembles the latter however I. banksi is reported to be not exceeding 10mm with wings. 9mm without would imply a rather large termite. On that note if it indeed is 9mm it's possible this isn't an Incisitermes species at all.

I try not to estimate sizes because I could easily be wrong. Only in my early posts (2015) I, sometimes, dared to provide estimates. Later, I only provided info about size after taking measurements.