BIGIP Model #'s - Is there a Unique Key?

F5,     We need to be able to distinguish our BIGIP Model 's from each other (Ex: tell a BIGIP 5100 vs. a BIGIP 6400) and we were wondering 2 things:     ...