If you have about 10k devices, do you have some existing database/spreadsheet/etc of ips and device names?You could mangle this and dump it into a dns zone, making sure it keep it updated.
I guess it may be useful for the enterprise/paid version to also allow raw IP addressed to be added with the ‘addhost’ script; or even entire ranges; even if there is absolutely no (reverse) DNS at all.
Right now you have to fiddle quite a bit to work around the ‘no such hostname’.
Dw.