Next time I should read and comprehend before responding...
As you said, 1.3.6.1.4.1.8072.3.2.10 is net-snmp's sysOID on Linux boxes so it would not be appropriate to use it for identification of F5. I'm afraid the manufacturer (F5 in this case) will need to use a SysOID that is not already in use by another manufacturer to fix this.