Move this to header, personally I think I'd prefer 10000. I certainly have channel numbers > 1000, since I use 1000+X as my radio channel number range. 10k is probably high enough though.